1738 search results - page 128 / 348 » Local Consistency and SAT-Solvers |
DATE
2005
IEEE
14 years 3 months ago
2005
IEEE
In this paper we present our contribution in terms of synchronization processor for a SoC design methodology based on the theory of the latency insensitive systems (LIS) of Carlon...
HAPTICS
2005
IEEE
14 years 3 months ago
2005
IEEE
In this paper we present a software approach to managing complexity for haptic rendering of large-scale geometric models, consisting of tens to hundreds of thousands of distinct g...
ICIP
2005
IEEE
14 years 3 months ago
2005
IEEE
Motivated by the fact that in images, there is usually a presence of local strongly oriented harmonics, a representation which is both well-localised in frequency and orientation ...
DAGM
2005
Springer
14 years 3 months ago
2005
Springer
A fully automatic method to extract field boundaries from imagery is described in this paper. The fields are represented together with additional prior knowledge in the form of GIS...
MWCN
2004
Springer
14 years 3 months ago
2004
Springer
— We consider node localization problems in ad hoc wireless networks in which two types of nodes are considered: nodes with self-locating capability like GPS and nodes with no se...