Sciweavers

8695 search results - page 354 / 1739
» Making the Complex Simple
Sort
View
CONCUR
2007
Springer
16 years 1 months ago
Strategy Logic
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...
ECTEL
2007
Springer
16 years 1 months ago
Enabling Project-Centred Learning through Flexible Processes: the COOPER Experience
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...
Stefano Ceri, Florian Daniel, Maristella Matera, A...
IEEEARES
2006
IEEE
16 years 26 days ago
An Architecture for Service Discovery Based on Capability Matching
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...
Jaka Mocnik, Piotr Karwaczynski
IV
2006
IEEE
96views Visualization» more  IV 2006»
16 years 25 days ago
Interactive, Task-Oriented Visualizations to Explore Decay Chain Calculation
Most applications in physical calculations provide powerful multivariate outputs but use rather simple visual representations (diagrams) without the possibilities to explore the r...
Martin Eller, Silvia Miksch, Jacques Lettry
ICRA
2005
IEEE
148views Robotics» more  ICRA 2005»
16 years 13 days ago
Developing a Modular Active Spherical Vision System
- 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...
Nicholas D. Jankovic, Michael D. Naish