5015 search results - page 906 / 1003 » Model Checking a Path |
117
Voted
DGO
2003
15 years 3 months ago
2003
As part of a National Science Foundation-funded study, we analyze data from a 2002 Midwest urban random sample survey (n = 167 adults) of differential access to and uses of comput...
147
click to vote
NIPS
2003
15 years 3 months ago
2003
We describe a pattern acquisition algorithm that learns, in an unsupervised fashion, a streamlined representation of linguistic structures from a plain natural-language corpus. Th...
139
Voted
WSCG
2003
15 years 3 months ago
2003
The registration of 3D form features is essential to the supporting of reverse shape design processes. Extracting an editable shape feature from unordered data points is notorious...
138
Voted
AAAI
1996
15 years 3 months ago
1996
We describe a framework for robot navigation that exploits the continuity of image sequences. Tracked visual features both guide the robot and provide predictive information about...
121
Voted
AAAI
1994
15 years 3 months ago
1994
Researchers in the eld of Distributed Arti cial Intelligence (DAI) have been developing e cient mechanisms to coordinate the activities of multiple autonomous agents. The need for...