Sciweavers

4451 search results - page 554 / 891
» On Random Ordering Constraints
Sort
View
170
Voted
PKDD
2004
Springer
155views Data Mining» more  PKDD 2004»
16 years 1 days ago
Ensemble Feature Ranking
A crucial issue for Machine Learning and Data Mining is Feature Selection, selecting the relevant features in order to focus the learning search. A relaxed setting for Feature Sele...
Kees Jong, Jérémie Mary, Antoine Cor...
SAS
2004
Springer
103views Formal Methods» more  SAS 2004»
16 years 1 days ago
A Scalable Nonuniform Pointer Analysis for Embedded Programs
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
Arnaud Venet
SAT
2004
Springer
95views Hardware» more  SAT 2004»
16 years 1 days ago
Local Search for Very Large SAT Problems
The Walksat local search algorithm has previously been extended to handle quantification over variables. This greatly reduces model sizes, but in order to guide greedy moves the a...
Steven David Prestwich, Colin Quirke
VLDB
2004
ACM
80views Database» more  VLDB 2004»
16 years 1 days ago
The Case for Precision Sharing
Sharing has emerged as a key idea of static and adaptive stream query processing systems. Inherent in these systems is a tension between sharing common work and avoiding unnecessa...
Sailesh Krishnamurthy, Michael J. Franklin, Joseph...
ACSAC
2003
IEEE
16 years 6 hour ago
Forum Session: Security for Wireless Sensor Networks
Wireless networks of low-power sensing devices are poised to become a ubiquitous part of the computing landscape. Proposed applications of these networks range from health care to...
David Carman, Daniel Coffin, Bruno Dutertre, Vipin...