11151 search results - page 147 / 2231 » On the Complexity of Model Expansion |
159
click to vote
DAM
1999
15 years 4 months ago
1999
An algorithm called Modoc", which has been introduced elsewhere, enhances propositional model elimination with autarky pruning, and other features. The model elimination meth...
166
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
117
click to vote
ERCIMDL
2004
Springer
15 years 10 months ago
2004
Springer
Advanced personalization techniques are required to cope with novel challenges posed by attribute-rich MPEG-7 based digital libraries. At the heart of our deeply personalized news ...
148
click to vote
TREC
2008
15 years 6 months ago
2008
This is the third year that we (ICT-CAS team) participated in the Enterprise Track of TREC. The track of this year includes two tasks, being document search task and expert search...
159
click to vote
ICVGIP
2004
15 years 6 months ago
2004
We propose a new unsupervised learning method to obtain a layered pictorial structure (LPS) representation of an articulated object from video sequences. It will be seen that this...