241 search results - page 46 / 49 » CACM: past, present, and future |
ENTCS
2007
13 years 9 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
—This paper presents the Axel robotic rover which has been designed to provide robust and flexible access to extreme extra-planetary terrains. Axel is a lightweight 2wheeled vehi...
PERCOM
2010
ACM
13 years 8 months ago
2010
ACM
In the recent years, the massive use of in-car navigation systems has symbolized the emergence of location-based services for wayfinding. This market success creates the opportunit...
DGO
2011
12 years 9 months ago
2011
The past few years have seen an explosive growth in scientific and regulatory documents related to the patent system. Relevant information is siloed into many heterogeneous and di...
ICAIL
2007
ACM
14 years 1 months ago
2007
ACM
Legal-RDF.org1 publishes a practical ontology that models both the layout and content of a document and metadata about the document; these have been built using data models implici...