10182 search results - page 163 / 2037 » Case Studies |
152
click to vote
MKM
2007
Springer
15 years 11 months ago
2007
Springer
We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning ...
136
click to vote
OTM
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents the works done by several research groups from University of Extremadura and CETA-CIEMAT (Centro Extreme˜no de Tecnolog´ıas Avanzadas) in order to deploy an ...
156
click to vote
PROFES
2007
Springer
15 years 11 months ago
2007
Springer
Reference processes are supposed to be the basis for collaboration and mature cooperation in software development. Large business organizations need large and diverse reference pro...
147
Voted
SARA
2007
Springer
15 years 11 months ago
2007
Springer
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction problem. There are typically many alternative mode...
164
click to vote
SEMWEB
2007
Springer
15 years 11 months ago
2007
Springer
As claimed in the Semantic Web project, a huge amount of physically distributed interacting software agents could find the semantic of available resources and answer more relevantl...