Sciweavers

1989 search results - page 313 / 398
» Expressive surfaces: a designerly approach for computational...
Sort
View
ICRA
2010
IEEE
144views Robotics» more  ICRA 2010»
14 years 11 months ago
Deformable robot motion planning in a reduced-dimension configuration space
Abstract-- Motion planning of deformable objects is challenging due to the high degrees-of-freedom inherent in deformation as well as the computational cost of producing physically...
Arthur Mahoney, Joshua Bross, David Johnson
CPAIOR
2004
Springer
15 years 5 months ago
Building Models through Formal Specification
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
Gerrit Renker, Hatem Ahriz
TMI
1998
75views more  TMI 1998»
15 years 1 months ago
Predicting error in rigid-body, point-based registration
— Guidance systems designed for neurosurgery, hip surgery, and spine surgery, and for approaches to other anatomy that is relatively rigid can use rigid-body transformations to a...
J. Michael Fitzpatrick, Jay B. West, Calvin R. Mau...
JSC
2010
103views more  JSC 2010»
15 years 5 days ago
Anti-patterns for rule-based languages
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. This should be naturally ...
Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pie...
DAC
2006
ACM
16 years 2 months ago
Efficient SAT-based Boolean matching for FPGA technology mapping
Most FPGA technology mapping approaches either target Lookup Tables (LUTs) or relatively simple Programmable Logic Blocks (PLBs). Considering networks of PLBs during technology map...
Sean Safarpour, Andreas G. Veneris, Gregg Baeckler...