3552 search results - page 624 / 711 » Proof theory in the abstract |
146
click to vote
DATE
2006
IEEE
16 years 13 days ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
126
click to vote
ICRA
2006
IEEE
16 years 12 days ago
2006
IEEE
Abstractā This paper presents a tactical path planning algorithm for following ridges or valleys across a 3D terrain. The intent is to generate a path that enables an unmanned ve...
148
click to vote
WMTE
2006
IEEE
16 years 11 days ago
2006
IEEE
This paper reports the results of a laboratory study of a proposed solution to the problem of coordinating entry into collaborative activity while protecting the privacy and contr...
206
click to vote
MOBICOM
2006
ACM
16 years 10 days ago
2006
ACM
Abstract-The emergence of small, inexpensive, networkcapable sensing devices led to a great deal of research on the design and implementation of sensor networks. A critical step in...
144
click to vote
WIKIS
2006
ACM
16 years 9 days ago
2006
ACM
A survey of 168 corporate wiki users was conducted. Findings indicate that corporate wikis appear to be sustainable. Users stated three main types of benefits from corporate wikis...