2162 search results - page 282 / 433 » Automated Reasoning on Feature Models |
140
click to vote
AIME
2009
Springer
15 years 11 months ago
2009
Springer
: Mental healthcare is a prospective area for applying AI techniques. For example, a computerized system could support individuals with a history of depression in maintaining their...
100
click to vote
EOR
2008
15 years 4 months ago
2008
This paper examines contract practices between suppliers and retailers in the agricultural seed industry. We construct and analyze single-retailer models of various contract types...
172
click to vote
SEFM
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
160
click to vote
ER
1993
Springer
15 years 8 months ago
1993
Springer
Two major problems in schema integration are to identify correspondences between different conceptual schemas and to verify that the proposed correspondences are consistent with th...
154
click to vote
UIST
2010
ACM
15 years 2 months ago
2010
ACM
An important aspect of making the Web accessible to blind users is ensuring that all important web page elements such as links, clickable buttons, and form fields have explicitly ...