Sciweavers

1955 search results - page 68 / 391
» Can Computers Handle Adverbs
Sort
View
CVRMED
1997
Springer
15 years 8 months ago
Physically-based model for simulating the human trunk respiration movements
Abstract. We have developped a physically-based model where an object is represented by a set of mass points on its contour. Each object may be defined locally and physically usin...
Emmanuel Promayon, Pierre Baconnier, Claude Puech
111
Voted
CONCUR
2010
Springer
15 years 5 months ago
Termination in Impure Concurrent Languages
Abstract. An impure language is one that combines functional and imperative constructs. We propose a method for ensuring termination of impure concurrent languages that makes it po...
Romain Demangeon, Daniel Hirschkoff, Davide Sangio...
CVPR
2005
IEEE
16 years 6 months ago
Optimal Point Correspondence through the Use of Rank Constraints
We propose a solution to the n-frame correspondence problem under the factorization framework. During the matching process, our algorithm takes explicitly into account the geometr...
João Costeira, João Xavier, Ricardo ...
ICCAD
2006
IEEE
139views Hardware» more  ICCAD 2006»
16 years 29 days ago
Analog placement with symmetry and other placement constraints
In order to handle device matching in analog circuits, some pairs of modules are required to be placed symmetrically. This paper addresses this device-level placement problem for ...
Yiu-Cheong Tam, Evangeline F. Y. Young, Chris C. N...
103
Voted
USENIX
2007
15 years 6 months ago
Exploring Recovery from Operating System Lockups
Operating system lockup errors can render a computer unusable by preventing the execution other programs. Watchdog timers can be used to recover from a lockup by resetting the pro...
Francis M. David, Jeffrey C. Carlyle, Roy H. Campb...