6608 search results - page 1173 / 1322 » On the Completeness of Model Checking |
175
click to vote
SPATIALCOGNITION
1998
Springer
15 years 8 months ago
1998
Springer
Spatial orientation strongly relies on visual and whole-body information available while moving through space. As virtual environments allow to isolate the contribution of visual i...
146
click to vote
TAGT
1998
Springer
15 years 8 months ago
1998
Springer
Reactive systems perform their tasks through interaction with their users or with other systems (as parts of a bigger system). An essential requirement for modeling such systems is...
113
click to vote
ISCA
1997
IEEE
15 years 8 months ago
1997
IEEE
The performance tradeoff between hardware complexity and clock speed is studied. First, a generic superscalar pipeline is defined. Then the specific areas of register renaming, ...
140
click to vote
STOC
1997
ACM
15 years 8 months ago
1997
ACM
We consider exploration problems where a robot has to construct a complete map of an unknown environment. We assume that the environment is modeled by a directed, strongly connecte...
141
click to vote
ACSC
2009
IEEE
15 years 8 months ago
2009
IEEE
The Session Initiation Protocol (SIP) is one of the leading protocols for multimedia control over the Internet, including initiating, maintaining and terminating multimedia sessio...