2940 search results - page 423 / 588 » Relational Parametricity and Control |
71
Voted
CISSE
2007
Springer
15 years 4 months ago
2007
Springer
Conventional human-computer interfaces for the exploration of volume datasets employ the mouse as an input device. Specifying an oblique orientation for a crosssectional plane thr...
66
Voted
DNIS
2007
Springer
15 years 4 months ago
2007
Springer
A read-only transaction (ROT) does not modify any data. The main issues regarding processing ROTs are correctness, data currency and performance. Two-phase Locking (2PL) protocol i...
71
Voted
ECAL
2007
Springer
15 years 4 months ago
2007
Springer
Real organisms live in a world full of uncertain situations and have evolved cognitive mechanisms to cope with problems based on actions and perceptions which are not always reliab...
89
Voted
EEMMAS
2007
Springer
15 years 4 months ago
2007
Springer
In this talk I present recent research in swarm robotics, the discipline that studies robotic systems composed of swarms of robots tightly interacting and cooperating to reach thei...
101
Voted
FMCO
2007
Springer
15 years 4 months ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...