995 search results - page 134 / 199 » Wire-speed total order |
CMC
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. In this chapter we report on an investigation into the principles underlying the choice of a particular referential expression to refer to an object located in a domain t...
STOC
1998
ACM
14 years 1 months ago
1998
ACM
On Labor Day weekend, the highway patrol sets up spot-checks at random points on the freeways with the intention of deterring a large fraction of motorists from driving incorrectl...
3DIM
1997
IEEE
14 years 1 months ago
1997
IEEE
Video-rate registered range and intensity data are at reach of current sensor technology. This wealth of data can be pro tably exploited in order to estimate rigid motion paramete...
LICS
1997
IEEE
14 years 1 months ago
1997
IEEE
Abstract. We prove that ground reducibility is EXPTIME-complete in the general case. EXPTIME-hardness is proved by encoding the emptiness problem for the intersection of recognizab...
DAC
1997
ACM
14 years 1 months ago
1997
ACM
In order to efficiently design complex microelectromechanical systems (MEMS) having large numbers of multi-domain components, a hierarchically structured design approach that is ...