Sciweavers

1773 search results - page 125 / 355
» The Visibility-Voronoi Complex and Its Applications
Sort
View
PPDP
2009
Springer
16 years 26 days ago
A declarative encoding of telecommunications feature subscription in SAT
This paper describes the encoding of a telecommunications feature subscription configuration problem to propositional logic and its solution using a state-of-the-art Boolean sati...
Michael Codish, Samir Genaim, Peter J. Stuckey
DATE
2008
IEEE
141views Hardware» more  DATE 2008»
16 years 24 days ago
Hot Wire Anemometric MEMS Sensor for Water Flow Monitoring
This paper presents an application based on a hot wire anemometric sensor in MEMS technology in the field of water flow monitoring. New generations of MEMS sensors feature remarka...
Massimiliano Melani, Lorenzo Bertini, Marco De Mar...
ICEIS
2008
IEEE
16 years 23 days ago
SORCER: Computing and Metacomputing Intergrid
— This paper investigates Grid computing from the point of view three basic computing platforms. The platform consists of virtual compute resources, a programming environment all...
Michael Soblewski
ICMCS
2008
IEEE
336views Multimedia» more  ICMCS 2008»
16 years 23 days ago
SIMD optimization of the H.264/SVC decoder with efficient data structure
H.264/scalable video coding (SVC) is a new compression technique that can adapt to various network environments and applications. However, despite its outstanding performance, H.2...
Joohyun Lee, Gwanggil Jeon, Sangjun Park, Taeyoung...
ISPDC
2008
IEEE
16 years 22 days ago
FPGA Implementations of a Parallel Associative Processor with Multi-Comparand Multi-Search Operations
Multi–comparand associative processors are efficient in parallel processing of complex search problems that arise from many application areas including computational geometry, ...
Zbigniew Kokosinski, Bartlomiej Malus