4595 search results - page 568 / 919 » Reasoning about Plans |
183
click to vote
ACSD
2003
IEEE
16 years 5 days ago
2003
IEEE
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...
191
Voted
ICCV
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper describes an approach to recovering surface models of complex scenes from the quasi-sparse data returned by a feature based stereo system. The method can be used to mer...
177
click to vote
VL
2003
IEEE
16 years 4 days ago
2003
IEEE
Models of programming and debugging suggest many causes of errors, and many classifications of error types exist. Yet, there has been no attempt to link causes of errors to these ...
166
Voted
GROUP
2003
ACM
16 years 3 days ago
2003
ACM
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge ...
192
click to vote
AGENTCL
2003
Springer
16 years 3 days ago
2003
Springer
Commitments are a powerful representation for modeling multiagent interactions. Previous approaches have considered the semantics of commitments and how to check compliance with th...