3946 search results - page 589 / 790 » The computational complexity of choice sets |
162
click to vote
ICALP
2004
Springer
16 years 4 hour ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
179
click to vote
ICCSA
2004
Springer
16 years 2 hour ago
2004
Springer
Abstract. Network-server architecture has become a de-facto standard for Distributed Virtual Environment (DVE) systems. In these systems, a large set of remote users share a 3D vir...
164
click to vote
ICMI
2004
Springer
16 years 33 min ago
2004
Springer
Although gesture recognition has been studied extensively, communicative, affective, and biometrical “utility” of natural gesticulation remains relatively unexplored. One of t...
195
click to vote
ICSOC
2004
Springer
15 years 12 months ago
2004
Springer
The e-services paradigm promises to enable rich, flexible, and dynamic inter-operation of highly distributed, heterogeneous networkenabled services. Among the challenges, a funda...
179
click to vote
LCPC
2004
Springer
15 years 12 months ago
2004
Springer
There is an increasing trends towards distributed and shared repositories for storing scientific datasets. Developing applications that retrieve and process data from such reposit...