6020 search results - page 330 / 1204 » A New Approach to Model Counting |
172
click to vote
LREC
2010
15 years 8 months ago
2010
We have previously reported on ProPOSEL, a purpose-built Prosody and PoS English Lexicon compatible with the Python Natural Language ToolKit. ProPOSEC is a new corpus research res...
301
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
nt, user-defined objects present an attractive abstraction for working with non-volatile program state. However, the slow speed of persistent storage (i.e., disk) has restricted ...
148
click to vote
APN
2005
Springer
16 years 9 days ago
2005
Springer
In the framework of the study and analysis of new flight procedures, we propose a new Petri net-based formalism to represent both continuous and discrete evolutions and uncertaint...
235
click to vote
SIGIR
2002
ACM
15 years 6 months ago
2002
ACM
tion Abstract ChengXiang Zhai (Advisor: John Lafferty) Language Technologies Institute School of Computer Science Carnegie Mellon University With the dramatic increase in online in...
212
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Traditionally, facial expression recognition (FER) issues have been studied mostly based on modalities of 2D images, 2D videos, and 3D static models. In this paper, we propose a sp...