2297 search results - page 320 / 460 » An Algorithm for Computing the Integral Closure |
147
click to vote
ROBOCOMM
2007
IEEE
15 years 11 months ago
2007
IEEE
— The integration of advanced computation, wireless communication, and control technologies has facilitated the creation of autonomous robot swarms for many civil and military ap...
130
click to vote
IJCNN
2006
IEEE
15 years 11 months ago
2006
IEEE
—Support Vector Machines are used to combine the outputs of multiple entity extractors, thus creating a composite entity extraction system. The composite system has a significant...
161
Voted
ASAP
2005
IEEE
15 years 10 months ago
2005
IEEE
CAD tools have become more and more important for integrated circuit (IC) design since a complicated system can be designed into a single chip, called system-on-a-chip (SOC), in w...
136
click to vote
SENSYS
2004
ACM
15 years 10 months ago
2004
ACM
An ad-hoc wireless sensor network-based system is presented that detects and accurately locates shooters even in urban environments. The system consists of a large number of cheap...
142
click to vote
ATVA
2004
Springer
15 years 8 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...