3552 search results - page 685 / 711 » Proof theory in the abstract |
118
click to vote
IVA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The challenge of making a virtual world believable includes a requirement for AI entities which autonomously react to a dynamic environment. After the breakthroughs in be...
105
Voted
MHCI
2009
Springer
15 years 8 months ago
2009
Springer
By equipping a mobile device with distance sensing capabilities, we aim to expand the interaction possibilities of mobile and wearable devices beyond the confines of the physical ...
108
click to vote
OTM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Web portals hosting large-scale internet applications have become popular due to the variety of services they provide to their users. These portals are developed using co...
121
click to vote
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
115
Voted
CISS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— The growth of video content and diversification of content-sharing methods in the Internet lead to an exciting range of new problems in networking, communications, and...