We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...
Krishnendu Chatterjee, Thomas A. Henzinger, Nir Pi...
This paper proposes a model-driven, extensible platform, delivered on the Web, which is able to support long-distance collaboration of students’ teams working on complex projects...
Discovery of service providers that are useful to service requesters is a common problem in large, dynamic serviceoriented systems, such as Grids. Simple service indices do not ad...
Most applications in physical calculations provide powerful multivariate outputs but use rather simple visual representations (diagrams) without the possibilities to explore the r...
- This paper introduces a modular, real-time, omnidirectional, active vision system, as well as a constructed prototype. By combining omnidirectional and active pan-tilt cameras, a...