10182 search results - page 163 / 2037 » Case Studies |
168
click to vote
MKM
2007
Springer
16 years 18 days 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 ...
155
click to vote
OTM
2007
Springer
16 years 18 days 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 ...
178
click to vote
PROFES
2007
Springer
16 years 18 days 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...
160
click to vote
SARA
2007
Springer
16 years 18 days 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...
180
click to vote
SEMWEB
2007
Springer
16 years 18 days 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...