3856 search results - page 662 / 772 » Models for Automated Earthmoving |
151
click to vote
ISBI
2007
IEEE
16 years 8 days ago
2007
IEEE
Knife-Edge Scanning Microscopy (KESM) is a recently developed technique that allows fast and automated imaging of several hundred cubic millimeters of tissue at sub-micron resolut...
180
click to vote
LICS
2007
IEEE
16 years 8 days ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
160
click to vote
QSIC
2007
IEEE
16 years 8 days ago
2007
IEEE
Wireless sensor network (WSN) applications sense events in-situ and compute results in-network. Their software components should run on platforms with stringent constraints on nod...
186
click to vote
TIME
2007
IEEE
16 years 8 days ago
2007
IEEE
This paper presents the automatic extension of TERSEO to other languages, a knowledge-based system for the recognition and normalization of temporal expressions, originally develo...
170
click to vote
TPHOL
2007
IEEE
16 years 8 days ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...