2694 search results - page 165 / 539 » A Description Logic of Change |
184
click to vote
ACL
1992
15 years 7 months ago
1992
The information state of an agent is changed when a text (in natural language) is processed. The meaning of a text can be taken to be this information state change potential. The ...
148
click to vote
AOSE
2003
Springer
15 years 11 months ago
2003
Springer
A helpful abstraction of a group of agents is a set of interacting roles, or sets of normative behaviors, that the agents can assume. An important characteristic of real-world agen...
204
click to vote
ICIP
1998
IEEE
16 years 8 months ago
1998
IEEE
We describe a new invariant-based data model for image databases under our approach for shape-based retrieval. The data model relies on contours description of the image shape, an...
149
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
We are investigating an integrated design method for a device driver and a device in order to efficiently develop device drivers used in embedded systems. This paper evaluates wh...
149
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...