Sciweavers

993 search results - page 165 / 199
» Some Real Experiences in Developing Virtual Environments
Sort
View
AAAI
2004
15 years 5 months ago
High-Level Goal Recognition in a Wireless LAN
Plan recognition has traditionally been developed for logically encoded application domains with a focus on logical reasoning. In this paper, we present an integrated plan-recogni...
Jie Yin, Xiaoyong Chai, Qiang Yang
SOFSEM
2012
Springer
13 years 11 months ago
Recent Challenges and Ideas in Temporal Synthesis
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
Orna Kupferman
165
Voted
JPDC
2007
184views more  JPDC 2007»
15 years 3 months ago
Modeling of concurrent web sessions with bounded inconsistency in shared data
Client interactions with modern web-accessible network services are typically organized into sessions involving multiple requests that read and write shared application data. Ther...
Alexander Totok, Vijay Karamcheti
VLDB
2002
ACM
116views Database» more  VLDB 2002»
15 years 3 months ago
The Denodo Data Integration Platform
The world today is characterised by the proliferation of information sources available through media such as the WWW, databases, semi-structured files (e.g. XML documents), etc. N...
Alberto Pan, Juan Raposo, Manuel Álvarez, P...
ICCV
2009
IEEE
1190views Computer Vision» more  ICCV 2009»
16 years 8 months ago
You'll never walk alone: modeling social behavior for multi-target tracking
Object tracking typically relies on a dynamic model to predict the object’s location from its past trajectory. In crowded scenarios a strong dynamic model is particularly impo...
S. Pellegrini, A. Ess, K. Schindler, L. van Gool