1116 search results - page 140 / 224 » Applying Predicate Abstraction to Abstract State Machines |
CADE
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. The LogAnswer system is an application of automated reasoning to the field of open domain question-answering, the retrieval of answers to natural language questions regar...
IJCNN
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract— We present a novel framework that applies a metalearning approach to clustering algorithms. Given a dataset, our meta-learning approach provides a ranking for the candi...
116
click to vote
MMM
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper presents an efficient learning scheme for automatic annotation of video shot size. Instead of existing methods that applied in sports videos using domain knowl...
DAARC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In this paper, we present a systematic evaluation of a hybrid approach of combined rule-based filtering and machine learning to Dutch coreference resolution. Through the...
SSS
2007
Springer
15 years 5 months ago
2007
Springer
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...