227 search results - page 22 / 46 » Collective construction of environmentally-adaptive structur... |
ICRA
2000
IEEE
13 years 11 months ago
2000
IEEE
A mapmaking robot integrates accumulated sensor data into a data structure that can be used for future localization or planning operations. Localization is the process of determin...
CAISE
2000
Springer
13 years 11 months ago
2000
Springer
: Reuse of already existing resources and solutions has always been a strategy for reducing the costs in the information systems development process. Construction and organization ...
ACL
2004
13 years 8 months ago
2004
We discuss existing approaches to train LR parsers, which have been used for statistical resolution of structural ambiguity. These approaches are nonoptimal, in the sense that a c...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The ...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Research on knowledge management (KM) readiness has matured. However, recent organizational structures have emerged which prevent traditional instruments from adequately measuring...