Sciweavers

3116 search results - page 399 / 624
» Positively dependent types
Sort
View
AINA
2005
IEEE
16 years 7 days ago
Nodes Localization through Data Fusion in Sensor Network
The Location of nodes in sensor network is an important problem with application in resource allocation, location sensitive browsing, and emergency communications. A key problem i...
Ren C. Luo, Ogst Chen, Liang Chao Tu
AVSS
2005
IEEE
16 years 7 days ago
Collective calibration of active camera groups
Until recently, traditional approaches to the task of camera calibration have relied on the use of accurate grid patterns, or strategically placed targets. Such approaches can pro...
Paul Chippendale, Francesco Tobia
ICPPW
2005
IEEE
16 years 6 days ago
Factoring Solution Sets of Polynomial Systems in Parallel
We report on a £rst parallel implementation of a recent algorithm to factor positive dimensional solution sets of polynomial systems. As the algorithm uses homotopy continuation,...
Anton Leykin, Jan Verschelde
NDSS
2005
IEEE
16 years 5 days ago
Enriching Intrusion Alerts Through Multi-Host Causality
Current intrusion detection systems point out suspicious states or events but do not show how the suspicious state or events relate to other states or events in the system. We sho...
Samuel T. King, Zhuoqing Morley Mao, Dominic G. Lu...
VISUALIZATION
2005
IEEE
16 years 5 days ago
Phonon Tracing for Auralization and Visualization of Sound
We present a new particle tracing approach for the simulation of mid- and high-frequency sound. Inspired by the photorealism obtained by methods like photon mapping, we develop a ...
Martin Bertram, Eduard Deines, Jan Mohring, Jevgen...