2354 search results - page 321 / 471 » A Common-Sense Theory of Time |
157
click to vote
SPAA
2005
ACM
16 years 2 days ago
2005
ACM
This paper shows for the first time that elimination, a scaling technique formerly applied only to counters and LIFO structures, can be applied to FIFO data structures, specific...
161
click to vote
ATAL
2005
Springer
16 years 1 days ago
2005
Springer
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for de...
175
click to vote
BIRTHDAY
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these...
162
click to vote
DALT
2005
Springer
16 years 1 days ago
2005
Springer
Agents need to be able to change their beliefs; in particular, they should be able to contract or remove a certain belief in order to restore consistency to their set of beliefs, a...
180
click to vote
DSOM
2005
Springer
16 years 1 days ago
2005
Springer
The growth in the scale of systems and networks has created many challenges for their management, especially for event processing. Our premise is that scaling event processing requ...