1285 search results - page 227 / 257 » Description Logic Reasoner: System Description |
118
click to vote
AGENTS
1997
Springer
15 years 5 months ago
1997
Springer
This paper discusses conditions under which some of the “higher level” mental concepts applicable to human beings might also be applicable to artificial agents. The key idea ...
126
click to vote
JIRS
2000
15 years 1 months ago
2000
Agents (hardware or software) that act autonomously in an environment have to be able to integrate three basic behaviors: planning, execution, and learning. This integration is man...
204
click to vote
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
157
click to vote
WILF
2009
Springer
16 years 11 days ago
2009
Springer
With the wide diffusion of digital image acquisition devices,
the cost of managing hundreds of digital images is quickly increasing.
Currently, the main way to search digital ima...
109
click to vote
DAC
2006
ACM
15 years 7 months ago
2006
ACM
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...