Sciweavers

756 search results - page 79 / 152
» A new algorithm for Boolean operations on general polygons
Sort
View
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
14 years 3 months ago
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
Yang Zhao, Gianfranco Ciardo
GIS
2006
ACM
14 years 10 months ago
Distance join queries on spatial networks
The result of a distance join operation on two sets of objects R, S on a spatial network G is a set P of object pairs <p, q>, p R, q S such that the distance of an object ...
Jagan Sankaranarayanan, Houman Alborzi, Hanan Same...
ICRA
2009
IEEE
141views Robotics» more  ICRA 2009»
14 years 3 months ago
Towards a navigation system for autonomous indoor flying
— Recently there has been increasing research on the development of autonomous flying vehicles. Whereas most of the proposed approaches are suitable for outdoor operation, only ...
Slawomir Grzonka, Giorgio Grisetti, Wolfram Burgar...
ETS
2006
IEEE
69views Hardware» more  ETS 2006»
14 years 3 months ago
A Low Cost Alternative Method for Harmonics Estimation in a BIST Context
Spectral analysis represents a key component in signal processing. The on-chip implementation of classical spectral estimation techniques is generally not considered as a viable B...
Vincent Fresnaud, Lilian Bossuet, Dominique Dallet...
GECCO
2008
Springer
196views Optimization» more  GECCO 2008»
13 years 10 months ago
A fuzzy-genetic approach to network intrusion detection
Computer networks have expanded significantly in use and numbers. This expansion makes them more vulnerable to attack by malicious agents. Many current intrusion detection systems...
Terrence P. Fries