647 search results - page 90 / 130 » Implementation of MAP: A system for mobile assistant program... |
159
Voted
ICRA
1993
IEEE
15 years 10 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...
172
click to vote
ICNC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Parallel genetic algorithms are usually implemented on parallel machines or distributed systems. This paper describes how finegrained parallel genetic algorithms can be ...
138
click to vote
ICMCS
2007
IEEE
16 years 5 days ago
2007
IEEE
— A smart house can be regarded as a surveillance environment in which the person being observed carries out activities that range from intimate to more public. What can be obser...
204
click to vote
SAC
2000
ACM
15 years 10 months ago
2000
ACM
The global scenario put together by communication networks determines new opportunities towards the realization of Internetbased distributed services in many complex and composite...
217
Voted
ESOP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...