6167 search results - page 266 / 1234 » Can Refinement be Automated |
156
click to vote
CADE
2001
Springer
16 years 7 months ago
2001
Springer
Abstract. This paper presents a technique for automated theorem proving with free variable tableaux that does not require backtracking. Most existing automated proof procedures usi...
237
click to vote
LPNMR
1999
Springer
15 years 11 months ago
1999
Springer
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
289
click to vote
ICCV
2007
IEEE
16 years 9 months ago
2007
IEEE
Topic models have recently emerged as powerful tools for modeling topical trends in documents. Often the resulting topics are broad and generic, associating large groups of people...
203
click to vote
ECCV
2004
Springer
16 years 9 months ago
2004
Springer
Abstract. We describe a new approach for learning to perform classbased segmentation using only unsegmented training examples. As in previous methods, we first use training images ...
211
click to vote
EDOC
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...