Sciweavers

4524 search results - page 766 / 905
» The Complexity of Global Constraints
Sort
View
ICFEM
1997
Springer
15 years 4 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
138
Voted
ISER
1997
Springer
202views Robotics» more  ISER 1997»
15 years 4 months ago
Interactive Visual and Force Rendering of Human-Knee Dynamics
The kinematics and force/displacement relationships of elements of biological joints are notoriously difficult to understand. In particular, the human knee has bearing surfaces o...
Randy E. Ellis, P. Zion, C. Y. Tso
SIGGRAPH
2010
ACM
15 years 4 months ago
Physical reproduction of materials with specified subsurface scattering
We investigate a complete pipeline for measuring, modeling, and fabricating objects with specified subsurface scattering behaviors. The process starts with measuring the scatterin...
Miloš Hašan, Martin Fuchs, Wojciech Matusik, Han...
CASES
2007
ACM
15 years 4 months ago
Application driven embedded system design: a face recognition case study
The key to increasing performance without a commensurate increase in power consumption in modern processors lies in increasing both parallelism and core specialization. Core speci...
Karthik Ramani, Al Davis
122
Voted
DCOSS
2007
Springer
15 years 4 months ago
Energy Efficient Intrusion Detection in Camera Sensor Networks
The problem we address in this paper is how to detect an intruder moving through a polygonal space that is equipped with a camera sensor network. We propose a probabilistic sensor ...
Primoz Skraba, Leonidas J. Guibas