Sciweavers

9997 search results - page 1958 / 2000
» The case for crowd computing
Sort
View
CORR
2006
Springer
154views Education» more  CORR 2006»
14 years 9 months ago
Intra-site Level Cultural Heritage Documentation: Combination of Survey, Modeling and Imagery Data in a Web Information System
Cultural heritage documentation induces the use of computerized techniques to manage and preserve the information produced. Geographical information systems have proved their pote...
Anne Durand, Pierre Drap, Elise Meyer, Pierre Grus...
CORR
2006
Springer
137views Education» more  CORR 2006»
14 years 9 months ago
Lambda Types on the Lambda Calculus with Abbreviations
for an informal presentation at CIE 2007 [2] is a typed -calculus that pursues the reuse of the term constructions both at the level of types and at the level of contexts, while en...
F. Guidi
CORR
2006
Springer
145views Education» more  CORR 2006»
14 years 9 months ago
Product Multicommodity Flow in Wireless Networks
We provide a tight approximate characterization of the n-dimensional product multicommodity flow (PMF) region for a wireless network of n nodes. Separate characterizations in term...
Ritesh Madan, Devavrat Shah, Olivier Lév&ec...
CORR
2006
Springer
153views Education» more  CORR 2006»
14 years 9 months ago
Genetic Programming, Validation Sets, and Parsimony Pressure
Fitness functions based on test cases are very common in Genetic Programming (GP). This process can be assimilated to a learning task, with the inference of models from a limited n...
Christian Gagné, Marc Schoenauer, Marc Pari...
CORR
2006
Springer
100views Education» more  CORR 2006»
14 years 9 months ago
Pivotal and Pivotal-discriminative Consequence Relations
In the present paper, we investigate consequence relations that are both paraconsistent and plausible (but still monotonic). More precisely, we put the focus on pivotal consequenc...
Jonathan Ben-Naim
« Prev « First page 1958 / 2000 Last » Next »