5451 search results - page 951 / 1091 » Typed Operational Semantics |
125
Voted
MVA
1990
15 years 4 months ago
1990
An autonomous mobile robot must be able to combine uncertain sensory information with prior knowledge of the world. Moreover, these operations have to be performed fast enough for...
122
click to vote
TREC
2007
15 years 4 months ago
2007
: In this paper, we document our efforts in participating to the TREC 2007 Legal track. We had multiple aims: First, to experiment with using different query formulations, trying t...
123
Voted
CEC
2010
IEEE
15 years 4 months ago
2010
IEEE
Breeding Abstract Animations in Realtime Tatsuo Unemi SBART was developed in early 1990's as one of the derivatives from Artificial Evolution by Karl Sims. It has a functional...
131
Voted
CIDR
2009
15 years 4 months ago
2009
We present the design and development of a data stream system that captures data uncertainty from data collection to query processing to final result generation. Our system focuse...
89
Voted
SIGCOMM
2010
ACM
15 years 3 months ago
2010
ACM
The Internet has become a complex system with increasing numbers of end-systems, applications, protocols and types of networks. Although we have a good understanding of how data i...