280 search results - page 39 / 56 » Automating Feature-Oriented Domain Analysis |
ICCBR
1999
Springer
14 years 3 months ago
1999
Springer
As part of our investigation of how abstract principles are operationalized to facilitate their application to specific fact situations, we have begun to develop and experiment wit...
GIS
2010
ACM
13 years 9 months ago
2010
ACM
Map matching is a fundamental operation in many applications such as traffic analysis and location-aware services, the killer apps for ubiquitous computing. In the past, several m...
TITB
2010
13 years 5 months ago
2010
The aging population and the growing amount of medical data have increased the need for automated tools in the neurology departments. Although the researchers have been developing ...
ICSE
2003
IEEE-ACM
14 years 11 months ago
2003
IEEE-ACM
Methods to assess and ensure system usability are becoming increasingly important as market edge becomes less dependent on function and more dependent on ease of use, and as recog...
SAT
2005
Springer
14 years 4 months ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...