Sciweavers

1524 search results - page 265 / 305
» The First Real Operating System for Reconfigurable Computers
Sort
View
SMA
2009
ACM
208views Solid Modeling» more  SMA 2009»
14 years 4 months ago
Accelerating geometric queries using the GPU
We present practical algorithms for accelerating geometric queries on models made of NURBS surfaces using programmable Graphics Processing Units (GPUs). We provide a generalized f...
Adarsh Krishnamurthy, Sara McMains, Kirk Haller
AI
2006
Springer
13 years 10 months ago
Backward-chaining evolutionary algorithms
Starting from some simple observations on a popular selection method in Evolutionary Algorithms (EAs)--tournament selection--we highlight a previously-unknown source of inefficien...
Riccardo Poli, William B. Langdon
CHI
2007
ACM
14 years 10 months ago
Museum guide robot based on sociological interaction analysis
We are currently working on a museum guide robot with an emphasis on "friendly" human-robot interaction displayed through nonverbal behaviors. In this paper, we focus on...
Yoshinori Kuno, Kazuhisa Sadazuka, Michie Kawashim...
TMI
2010
208views more  TMI 2010»
13 years 4 months ago
Patient-Specific Modeling and Quantification of the Aortic and Mitral Valves From 4-D Cardiac CT and TEE
As decisions in cardiology increasingly rely on non-invasive methods, fast and precise image processing tools have become a crucial component of the analysis workflow. To the best ...
Razvan Ioan Ionasec, Ingmar Voigt, Bogdan Georgesc...
AFP
2004
Springer
105views Formal Methods» more  AFP 2004»
14 years 3 months ago
Epigram: Practical Programming with Dependent Types
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
Conor McBride