Sciweavers

795 search results - page 95 / 159
» The Concept of Autonomy in Distributed Computation and Multi...
Sort
View
STACS
2010
Springer
14 years 2 months ago
On Optimal Heuristic Randomized Semidecision Procedures, with Application to Proof Complexity
The existence of a (p-)optimal propositional proof system is a major open question in (proof) complexity; many people conjecture that such systems do not exist. Kraj´ıˇcek and P...
Edward A. Hirsch, Dmitry Itsykson
CCGRID
2005
IEEE
14 years 1 months ago
Semantic search of learning services in a grid-based collaborative system
CSCL systems can benefit from using a grid, since it offers a common infrastructure allowing an extended pool of resources that can provide supercomputing capabilities as well as...
Guillermo Vega-Gorgojo, Miguel L. Bote-Lorenzo, Ed...
MIR
2005
ACM
133views Multimedia» more  MIR 2005»
14 years 1 months ago
Probabilistic web image gathering
We propose a new method for automated large scale gathering of Web images relevant to specified concepts. Our main goal is to build a knowledge base associated with as many conce...
Keiji Yanai, Kobus Barnard
CONCUR
2004
Springer
14 years 1 months ago
Parameterised Boolean Equation Systems (Extended Abstract)
Systems (extended abstract) Simona Orzan and Tim A.C. Willemse Department of Mathematics and Computer Science, Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven, T...
Jan Friso Groote, Tim A. C. Willemse
GRID
2000
Springer
13 years 11 months ago
Architectural Models for Resource Management in the Grid
: The concept of coupling geographically distributed (high-end) resources for solving large-scale problems is becoming increasingly popular, forming what is popularly called grid c...
Rajkumar Buyya, Steve J. Chapin, David C. DiNucci