2082 search results - page 129 / 417 » Change Paths in Reasoning! |
CCS
2006
ACM
14 years 25 days ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...
ICCAD
1994
IEEE
14 years 1 months ago
1994
IEEE
We examine the implications of a new hazard-free combinational logic synthesis method [8], which generates multiplexor trees from binary decision diagrams (BDDs) -- representation...
FLAIRS
2006
13 years 10 months ago
2006
We propose a real time single item auction based task allocation method for the multi-robot exploration problem and investigate new bid evaluation strategies in this domain. In th...
ISCI
2007
13 years 9 months ago
2007
Bluetooth Location Network (BLN) is a Bluetooth radio network that is composed of some mobile Bluetooth devices and static Bluetooth units, and is established at the system initia...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
—In poorly constrained extra-vascular environments such as hollow viscera, current catheter navigation techniques are restricted to simple paths and therefore limit a doctor’s ...