2162 search results - page 99 / 433 » Automated Reasoning on Feature Models |
131
Voted
TKDE
2010
15 years 2 months ago
2010
Abstract—The imperfect nature of context in Ambient Intelligence environments and the special characteristics of the entities that possess and share the available context informa...
165
Voted
EC
2006
15 years 3 months ago
2006
Learning Classifier Systems (LCSs), such as the accuracy-based XCS, evolve distributed problem solutions represented by a population of rules. During evolution, features are speci...
164
click to vote
SMA
1993
ACM
15 years 7 months ago
1993
ACM
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...
140
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Traditionally, the full verification of a program's functional correctness has been obtained with pen and paper or with interactive proof assistants, whereas only reduced ver...
123
Voted
IPMI
2005
Springer
15 years 9 months ago
2005
Springer
Consistent efforts are being made to build Computer-Aided Detection and Diagnosis systems for radiological images. Such systems depend on automated detection of various disease pat...