Sciweavers

484 search results - page 82 / 97
» Caching function calls using precise dependencies
Sort
View
ICRA
2009
IEEE
96views Robotics» more  ICRA 2009»
14 years 3 months ago
Harnessing bacterial power in microscale actuation
— This paper presents a systematic analysis of the motion of microscale structures actuated by flagellated bacteria. We perform the study both experimentally and theoretically. ...
A. Agung Julius, M. Selman Sakar, Edward Steager, ...
LOPSTR
1992
Springer
14 years 16 days ago
Logimix: A Self-Applicable Partial Evaluator for Prolog
We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial eval...
Torben Æ. Mogensen, Anders Bondorf
AIML
2008
13 years 10 months ago
Labelled modal tableaux
Labelled tableaux are extensions of semantic tableaux with annotations (labels, indices) whose main function is to enrich the modal object language with semantic elements. This pap...
Guido Governatori
TC
2002
13 years 8 months ago
The Timely Computing Base Model and Architecture
Abstract-- Current systems are very often based on largescale, unpredictable and unreliable infrastructures. However, users of these systems increasingly require services with time...
Paulo Veríssimo, Antonio Casimiro
PAMI
2010
265views more  PAMI 2010»
13 years 6 months ago
WLD: A Robust Local Image Descriptor
—Inspired by Weber’s Law, this paper proposes a simple, yet very powerful and robust local descriptor, called the Weber Local Descriptor (WLD). It is based on the fact that hum...
Jie Chen, Shiguang Shan, Chu He, Guoying Zhao, Mat...