11436 search results - page 576 / 2288 » Modeling Real Reasoning |
210
click to vote
WSC
2008
15 years 9 months ago
2008
Automated Guided Vehicle (AGV) logistic handling system are widely adopted when high transportation capacity and quality of service are the most important characteristics to reach...
204
click to vote
CACM
2002
15 years 7 months ago
2002
Developers of context-aware services, i.e. services that make use of sensory information from the environment of their users, often find testing and demonstrating services to be di...
243
click to vote
TVCG
2010
15 years 5 months ago
2010
—In immersive virtual environments (IVEs) users can control their virtual viewpoint by moving their tracked head and by walking through the real world. Usually, movements in the ...
209
click to vote
ATAL
2009
Springer
16 years 2 months ago
2009
Springer
Computational trust and reputation models have been recognized as one of the key technologies required to design and implement agent systems. These models manage and aggregate the...
200
click to vote
SP
2009
IEEE
16 years 2 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...