403 search results - page 9 / 81 » Integrating Z into Large Projects Tools and Techniques |
AIIDE
2009
14 years 10 months ago
2009
Traditionally, there have been two large obstacles faced in attempting to apply AI techniques to games and other virtual environments. The first obstacle is the gap between the la...
ICPR
2004
IEEE
15 years 10 months ago
2004
IEEE
Recently it has been claimed that as early as 1420 some European artists constructed their paintings by optically projecting images onto their supports (canvas, oak panel, etc.) a...
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...
124
click to vote
ISER
2004
Springer
15 years 2 months ago
2004
Springer
This article present results for building accurate 3-D maps of urban environments with a mobile Segway RMP. The goal of this project is to use robotic systems to rapidly acquire 3-...
PERCOM
2010
ACM
14 years 7 months ago
2010
ACM
During the last few years there has been an increasing number of people-centric sensing projects, which combine location information with other sensors available on mobile devices,...