2221 search results - page 183 / 445 » Experiences Building PlanetLab |
120
click to vote
AGENTS
1997
Springer
15 years 8 months ago
1997
Springer
Recent developments in philosophy, linguistics, developmental psychology and arti cial intelligence make it possible to envision a developmental path for an arti cial agent, groun...
140
click to vote
CSCW
1996
ACM
15 years 8 months ago
1996
ACM
Concurrency control and group undo are important issues in the design of groupware, especially for interactive group editors. We present an improved versionofanexistingdistributed...
133
click to vote
ICRA
1993
IEEE
15 years 8 months ago
1993
IEEE
An issue central to the navigation problem is memory. Traditional systems build symbolic maps of the world for navigational reference. Reactive methods, in contrast, eliminate or m...
142
click to vote
MM
1993
ACM
15 years 8 months ago
1993
ACM
This paper describes Phoneshell, a telephone based application providing remote voice access to personal desktop databases such as voice mail, email, calendar, and rolodex. Severa...
132
Voted
CAV
2007
Springer
15 years 8 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...