2470 search results - page 171 / 494 » Liveness-Preserving Simulation Relations |
LCN
2007
IEEE
15 years 7 months ago
2007
IEEE
—This paper presents a distributed algorithm to direct evacuees to exits through arbitrarily complex building layouts in emergency situations. The algorithm finds the safest pat...
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract: With the increasing complexity of memory behavior, attempts are being made to come up with a methodical approach that employs electrical simulation to tackle the memory t...
103
Voted
CONTEXT
2007
Springer
15 years 7 months ago
2007
Springer
The ability to model cognitive agents depends crucially on being able to encode and infer with contextual information at many levels (such as situational, psychological, social, or...
147
click to vote
CEEMAS
2001
Springer
15 years 5 months ago
2001
Springer
In this paper the internal dynamics of mental states, in particular states based on beliefs, desires and intentions, is formalised using a temporal language. A software environment...
163
click to vote
JCISE
2002
15 years 19 days ago
2002
Virtual Prototyping (VP) technique has been interpreted in many different ways, which causes confusion and misunderstanding among researchers and practitioners. Based on a review ...