Sciweavers

1609 search results - page 247 / 322
» Problem Structure and Dependable Architecture
Sort
View
VLSID
2005
IEEE
97views VLSI» more  VLSID 2005»
14 years 3 months ago
Q-PREZ: QBF Evaluation Using Partition, Resolution and Elimination with ZBDDs
In recent years, there has been an increasing interest in Quantified Boolean Formula (QBF) evaluation, since several VLSI CAD problems can be formulated efficiently as QBF insta...
Kameshwar Chandrasekar, Michael S. Hsiao
ISLPED
2005
ACM
178views Hardware» more  ISLPED 2005»
14 years 3 months ago
Energy efficient strategies for deployment of a two-level wireless sensor network
We investigate and develop energy-efficient strategies for deployment of wireless sensor networks (WSN) for the purpose of monitoring some phenomenon of interest in a coverage reg...
Ali Iranli, Morteza Maleki, Massoud Pedram
ISMIR
2005
Springer
176views Music» more  ISMIR 2005»
14 years 3 months ago
On the Modeling of Time Information for Automatic Genre Recognition Systems in Audio Signals
The creation of huge databases coming from both restoration of existing analogue archives and new content is demanding fast and more and more reliable tools for content analysis a...
Nicolas Scaringella, Giorgio Zoia
KDD
1995
ACM
67views Data Mining» more  KDD 1995»
14 years 1 months ago
A Perspective on Databases and Data Mining
We discuss the use of database met hods for data mining. Recently impressive results have been achieved for some data mining problems using highly specialized and clever data stru...
Marcel Holsheimer, Martin L. Kersten, Heikki Manni...
IJSEKE
1998
141views more  IJSEKE 1998»
13 years 10 months ago
REINAS: A Real-Time System for Managing Environmental Data
Managing scientific data is a challenging task, and many of the problems it presents have yet to be adequately solved. The Real-time Environmental Information Network and Analysi...
Eric C. Rosen, Theodore R. Haining, Darrell D. E. ...