Sciweavers

7512 search results - page 1063 / 1503
» Robust Computations with Dynamical Systems
Sort
View
HAPTICS
2009
IEEE
16 years 1 months ago
Effects of magnitude and phase cues on human motor adaptation
Recent findings have shown that humans can adapt their internal control model to account for the changing dynamics of systems they manipulate. In this paper, we explore the effect...
Ali Israr, Hakan Kapson, Volkan Patoglu, Marcia Ki...
IFL
2005
Springer
207views Formal Methods» more  IFL 2005»
16 years 11 days ago
A Dependently Typed Framework for Static Analysis of Program Execution Costs
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
Edwin Brady, Kevin Hammond
OSDI
1994
ACM
15 years 8 months ago
Scheduling for Reduced CPU Energy
The energy usage of computer systems is becoming more important, especially for battery operated systems. Displays, disks, and cpus, in that order, use the most energy. Reducing t...
Mark Weiser, Brent B. Welch, Alan J. Demers, Scott...
ECCV
2004
Springer
16 years 8 days ago
Ultrasound Stimulated Vibro-acoustography
ABSTRACT We describe theoretical principles of an imaging modality that uses the acoustic response of an object to a highly localized dynamic radiation force of an ultrasound field...
James F. Greenleaf, Mostafa Fatemi, Marek Belohlav...
APNOMS
2006
Springer
15 years 10 months ago
"P4L": A Four Layers P2P Model for Optimizing Resources Discovery and Localization
Peer-to-Peer systems are based on the concept of resources localization and mutualization in dynamic context. In specific environment such as mobile networks, characterized by high...
Mourad Amad, Ahmed Meddahi
« Prev « First page 1063 / 1503 Last » Next »