2356 search results - page 221 / 472 » Characterizations of postman sets |
180
click to vote
AOSE
2001
Springer
15 years 11 months ago
2001
Springer
We are developing an agent-oriented software development methodology, called Tropos, which integrates ideas from multi-agentsystem technologies and RequirementsEngineering researc...
165
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
We introduce a method of extending arbitrary categories by a terminal object and apply this method in various type theoretic settings. In particular, we show that categories that a...
152
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
: The paper describes a mobile application for traffic telematics, based on the Jini middleware. The application is realized as a set of user-level services, characterized by follo...
146
click to vote
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
Formal power series are an extension of formal languages. Recognizable formal power series can be captured by the so-called weighted finite automata, generalizing finite state ma...
179
click to vote
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
Much work has been done on extending the well-founded semantics to general disjunctive logic programs and various approaches have been proposed. However, no consensus has been reac...