Sciweavers

520 search results - page 26 / 104
» Truthful Mechanisms for Exhibitions
Sort
View
ALIFE
2011
14 years 3 months ago
Untethered Hovering Flapping Flight of a 3D-Printed Mechanical Insect
This project focuses on developing a flapping-wing hovering insect using 3D printed wings and mechanical parts. The use of 3D printing technology has greatly expanded the possibi...
Charles Richter, Hod Lipson
SAC
2010
ACM
15 years 6 months ago
Design of a market-based mechanism for quality attribute tradeoff of services in the cloud
Cloud computing, with its promise of (almost) unlimited computation, storage and bandwidth, is increasingly becoming the infrastructure of choice for many organizations. As applic...
Vivek Nallur, Rami Bahsoon
COLT
1994
Springer
15 years 3 months ago
Rigorous Learning Curve Bounds from Statistical Mechanics
In this paper we introduce and investigate a mathematically rigorous theory of learning curves that is based on ideas from statistical mechanics. The advantage of our theory over ...
David Haussler, H. Sebastian Seung, Michael J. Kea...
ICRA
1994
IEEE
117views Robotics» more  ICRA 1994»
15 years 3 months ago
Nonholonomic Mechanics and Locomotion: The Snakeboard Example
Analysis and simulations are performed for a simplified model of a commercially available variant on the skateboard, known as the Snakeboard1 . Although the model exhibits basic g...
James P. Ostrowski, Andrew D. Lewis, Richard M. Mu...
AAAI
1990
15 years 1 months ago
Computing Stable Models by Using the ATMS
An algorithm is described which computes stable models of propositional logic programs with negation as failure using the Assumption Based Truth Maintenance mechanism. Since stabl...
Kave Eshghi