3145 search results - page 493 / 629 » Algebraic Linear Orderings |
174
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entitie...
165
click to vote
CN
2008
15 years 6 months ago
2008
This paper deals with a congestion control framework for elastic and real-time traffic, where the user's application is associated with a utility function. We allow users to ...
162
click to vote
SIAMSC
2008
15 years 5 months ago
2008
We study preconditioners for the iterative solution of the linear systems arising in the implicit time integration of the compressible Navier-Stokes equations. The spatial discreti...
186
click to vote
AI
2002
Springer
15 years 5 months ago
2002
Springer
Automated negotiation is a key form of interaction in systems that are composed of multiple autonomous agents. The aim of such interactions is to reach agreements through an itera...
141
click to vote
APAL
2002
15 years 5 months ago
2002
The paper introduces a semantics for the language of classical first order logic supplemented with the additional operators and . This semantics understands formulas as tasks. An ...