Sciweavers

1611 search results - page 79 / 323
» A Library for Self-Adjusting Computation
Sort
View
113
Voted
ICTAI
2003
IEEE
15 years 10 months ago
Interactive Open Architecture Computer Vision
In this paper, design and implementation of an interactive open architecture computer vision software package called Ch OpenCV is presented. Benefiting from both Ch and OpenCV, C...
Qingcang Yu, Harry H. Cheng, Wayne W. Cheng, Xiaod...
127
Voted
IC
2003
15 years 6 months ago
Designing a Grid Computing Environment Shell Engine
We describe the design and features of our Grid Computing Environments Shell system, or GCEShell. We view computing Grids as providing essentially a globally scalable distributed ...
Mehmet A. Nacar, Marlon E. Pierce, Geoffrey Fox
230
Voted
ICLP
2009
Springer
16 years 5 months ago
Qualified Computations in Functional Logic Programming
Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...
Rafael Caballero, Mario Rodríguez-Artalejo,...
152
Voted
ICFEM
2005
Springer
15 years 10 months ago
Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
Jens Brandt, Klaus Schneider
SIGIR
2004
ACM
15 years 10 months ago
A logic-based approach for computing service executions plans in peer-to-peer networks
Abstract. Today, peer-to-peer services can comprise a large and growing number of services, e.g. search services or services dealing with heterogeneous schemas in the context of Di...
Henrik Nottelmann, Norbert Fuhr