634 search results - page 98 / 127 » Completion Procedures as Semidecision Procedures |
CCGRID
2003
IEEE
14 years 1 months ago
2003
IEEE
Service-based Grid infrastructures emphasize service composition rather than sharing of low level resources. The idea is to build Grid applications out of computational services p...
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
Dynamically reconfigurable systems based on partial and dynamically reconfigurable FPGAs may have their functionality partially modified at run-time without stopping the operation...
ISSRE
2003
IEEE
14 years 1 months ago
2003
IEEE
Impact analysis – determining the potential effects of changes on a software system – plays an important role in helping engineers re-validate modified software. In previous ...
PG
2002
IEEE
14 years 1 months ago
2002
IEEE
An active contour model for parametric curve and surface approximation is presented. The active curve or surface adapts to the model shape to be approximated in an optimization al...
CSL
2001
Springer
14 years 29 days ago
2001
Springer
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ...