6315 search results - page 1157 / 1263 » Approximating Solution Structure |
114
click to vote
SYNASC
2006
IEEE
15 years 8 months ago
2006
IEEE
We present a new planning algorithm that formulates the planning problem as a counting satisfiability problem in which the number of available solutions guides the planner determ...
113
Voted
KCAP
2005
ACM
15 years 8 months ago
2005
ACM
The vision of semantic interoperability, the fluid sharing of digitalized knowledge, has led much research on ontology/schema mapping/aligning. Although this line of research is f...
145
Voted
MIDDLEWARE
2005
Springer
15 years 7 months ago
2005
Springer
Currently, the interest in Ambient Intelligence (or AmI) has increased exponentially due to the widespread use of portable devices. Users demand more and more functionality from t...
120
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...
154
click to vote
SIGUCCS
2003
ACM
15 years 7 months ago
2003
ACM
Higher Education Institutions are now spending a significant portion of their budget to implement and maintain modern Enterprise Resource Planning (ERP) solutions. ERP is a softwa...