13383 search results - page 301 / 2677 » Abstractions from proofs |
179
click to vote
CICLING
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Previous research has shown that syntactic features are the most informative features in automatic verb classification. We investigate their optimal characteristics by co...
132
click to vote
JUCS
2006
15 years 6 months ago
2006
Abstract: In this paper, we survey efforts devoted to discovering interesting exceptions from data in data mining. An exception differs from the rest of data and thus is interestin...
258
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Abstract-- We present PEEX, a system that enables applications to define and extract meaningful probabilistic high-level events from RFID data. PEEX effectively copes with errors i...
153
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We define new encodings from Max-CSP into Partial MaxSAT which are obtained by modelling the at-most-one condition with the sequential SAT encoding of the cardinality co...
196
click to vote
FIMH
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Over the past several decades, the mouse has gained prominence in the cardiac electrophysiology literature as the animal model of choice. Using computer models of the mou...