Sciweavers

8496 search results - page 1514 / 1700
» Problem Solving and Complex Systems
Sort
View
144
Voted
RTSS
2008
IEEE
15 years 9 months ago
Fast Sensor Placement Algorithms for Fusion-Based Target Detection
Mission-critical target detection imposes stringent performance requirements for wireless sensor networks, such as high detection probabilities and low false alarm rates. Data fus...
Zhaohui Yuan, Rui Tan, Guoliang Xing, Chenyang Lu,...
116
Voted
HICSS
2007
IEEE
131views Biometrics» more  HICSS 2007»
15 years 9 months ago
Characterizing Genres of Web Pages: Genre Hybridism and Individualization
When dealing with genres of web pages, there are two important aspects to be taken into account. On the one hand, the web is fluid, unstable and fast-paced. On the other hand, gen...
Marina Santini
125
Voted
ICDE
2007
IEEE
179views Database» more  ICDE 2007»
15 years 9 months ago
A New ILP-based Concept Discovery Method for Business Intelligence
In this work, we propose a multi-relational concept discovery method for business intelligence applications. Multi-relational data mining finds interesting patterns that span ove...
Seda Daglar Toprak, Pinar Senkul, Yusuf Kavurucu, ...
120
Voted
IRI
2007
IEEE
15 years 9 months ago
ModelML: a Markup Language for Automatic Model Synthesis
Domain-specific modeling has become a popular way of designing and developing systems. It generally involves a systematic use of a set of object-oriented models to represent vari...
Cong Zhang, Amol Bakshi, Viktor K. Prasanna
98
Voted
TACAS
2007
Springer
116views Algorithms» more  TACAS 2007»
15 years 8 months ago
Model Checking on Trees with Path Equivalences
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
Rajeev Alur, Pavol Cerný, Swarat Chaudhuri
« Prev « First page 1514 / 1700 Last » Next »