1283 search results - page 83 / 257 » A Survey on Temporal Logics |
178
click to vote
RSP
2000
IEEE
15 years 10 months ago
2000
IEEE
Reconfigurable instruction set processors have the capability to adapt their instruction sets to the application being executed through a reconfiguration in their hardware. Throug...
160
click to vote
CAI
1999
Springer
15 years 6 months ago
1999
Springer
: Context is the challenge for the coming years in Artificial Intelligence. In the companion paper [8], we present the main results of discussions at two workshops and at the first...
167
click to vote
GROUP
2005
ACM
15 years 12 months ago
2005
ACM
A common problem in chat is that the chat display only reveals the temporal order of the conversation. A better user interface is desired that reveals the logical order of the mes...
169
click to vote
AAAI
1996
15 years 7 months ago
1996
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...
126
click to vote
AAAI
2000
15 years 7 months ago
2000
The goal of most agents is not just to reach a goal state, but rather also (or alternatively) to put restrictions on its trajectory, in terms of states it must avoid and goals tha...