3731 search results - page 364 / 747 » cases 2006 |
169
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
The importance of defining a standard framework for agent communication languages (ACL) with a simple, clear, and a verifiable semantics has been widely recognized. This paper pro...
151
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Computer Supported Cooperative Work (CSCW) defines software tools and technology to support groups of people working together on a project, often at different sites [5]. In this wo...
140
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper investigates utility maximising bidding heuristics for agents that participate in multiple heterogeneous auctions, in which the auction format and the starting...
158
click to vote
ECBS
2006
IEEE
15 years 10 months ago
2006
IEEE
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
153
click to vote
ECCV
2006
Springer
15 years 10 months ago
2006
Springer
We study the rank and geometry of the multibody fundamental matrix, a geometric entity characterizing the two-view geometry of dynamic scenes consisting of multiple rigidbody moti...