1027 search results - page 177 / 206 » Comparing Search Algorithms for the Temperature Inversion Pr... |
KDD
2004
ACM
14 years 9 months ago
2004
ACM
Surveillance systems have long been used to monitor industrial processes and are becoming increasingly popular in public health and anti-terrorism applications. Most early detecti...
TACAS
2010
Springer
14 years 4 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
ISMIR
2004
Springer
14 years 2 months ago
2004
Springer
This paper concerns both rhythm recognition and tempo analysis of expressive music performance based on a probabilistic approach. In rhythm recognition, the modern continuous spee...
CSB
2003
IEEE
14 years 2 months ago
2003
IEEE
The problem addressed by this paper is accurate and automatic gene annotation following precise identification/annotation of exon and intron boundaries of biologically verified ...
NIL
1991
14 years 18 days ago
1991
In this paper we consider supernormal defaults [Poo88] with a strict partial order defining their priorities [Bre91]. We investigate their relation to minimal or preferential ent...