Sciweavers

2049 search results - page 103 / 410
» Normalization and Partial Evaluation
Sort
View
HCI
2007
13 years 10 months ago
Cyberwalk: Implementation of a Ball Bearing Platform for Humans
This paper presents an advanced model of a treadmill using balls which are actuated by a belt on a turntable. The platform is able to run at high speeds which exceed normal walking...
Martin C. Schwaiger, Thomas Thümmel, Heinz Ul...
JSAT
2006
87views more  JSAT 2006»
13 years 8 months ago
Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques
A family of satisfiable benchmark instances in conjunctive normal form is introduced. The instances are constructed by transforming a random regular graph into a system of linear ...
Harri Haanpää, Matti Järvisalo, Pet...
IIR
2010
13 years 7 months ago
GrOnto: A Granular Ontology for Diversifying Search Results
Results diversiļ¬cation is an approach used in literature to cover the possible interpretations of the results produced by query evaluation. For diversifying search results we pr...
Silvia Calegari, Gabriella Pasi
ACG
2006
Springer
14 years 2 months ago
Solving Probabilistic Combinatorial Games
Probabilistic combinatorial games (PCG) are a model for Go-like games recently introduced by Ken Chen. They differ from normal combinatorial games since terminal position in each ...
Ling Zhao, Martin Müller 0003
ICDE
2009
IEEE
214views Database» more  ICDE 2009»
14 years 10 months ago
Ranking with Uncertain Scores
Large databases with uncertain information are becoming more common in many applications including data integration, location tracking, and Web search. In these applications, ranki...
Mohamed A. Soliman, Ihab F. Ilyas