6618 search results - page 1104 / 1324 » Web Search Engines |
230
click to vote
AI
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. This work presents a multiagent framework design for DemandResponsive Transportation, considering a virtual enterprise domain. The agent architecture obtained provides a ...
205
click to vote
EOR
2008
15 years 7 months ago
2008
Our problem of interest consists of minimizing a separable, convex and differentiable function over a convex set, defined by bounds on the variables and an explicit constraint des...
205
click to vote
IJMSO
2007
15 years 7 months ago
2007
: Digital libraries are invaluable repositories of information. However, in many situations, their size makes it difficult to access the desired resource. In this paper, we present...
204
click to vote
TAP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
197
click to vote
ISCI
2007
15 years 7 months ago
2007
Fusion of sensor and communication data currently can only be performed at a late processing stage after sensor and information are formulated as logical statements at appropriate...