2162 search results - page 179 / 433 » Automated Reasoning on Feature Models |
151
click to vote
WACV
2008
IEEE
15 years 10 months ago
2008
IEEE
In recent years, many researchers are studying object categorization problem. It is reported that bag of keypoints approach which is based on local features without topological in...
140
click to vote
DLOG
2010
15 years 2 months ago
2010
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
250
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
In this paper, we study the modelization of biochemical reaction by using concurrent constraint programming idioms. In particular we will consider the stochastic concurrent constra...
205
click to vote
ICAIL
2009
ACM
15 years 11 months ago
2009
ACM
This paper describes a default-logic framework (plausibility schemas) and software tools (Decision ApprenticeTM and Legal ApprenticeTM ) for modeling, guiding and automating the r...
123
click to vote
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a novel compiled approach to Normalization by Evaluation (NBE) for ML-like languages. It supports efficient normalization of open λ-terms w.r.t. β-reduction and rewrit...