Sciweavers

1098 search results - page 78 / 220
» Interval analysis for computer graphics
Sort
View
118
Voted
CAV
2010
Springer
156views Hardware» more  CAV 2010»
15 years 3 months ago
A Logical Product Approach to Zonotope Intersection
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
Khalil Ghorbal, Eric Goubault, Sylvie Putot
MICCAI
2000
Springer
15 years 7 months ago
diSNei: A Collaborative Environment for Medical Images Analysis and Visualization
Abstract. In this paper we describe our environment diSNei, a graphical tool for collaborative image analysis and visualization of models created out of slices of volume data; this...
Carlos Alberola, Rubén Cárdenes, Mar...
165
Voted
SODA
2010
ACM
213views Algorithms» more  SODA 2010»
16 years 27 days ago
Regular Expression Matching with Multi-Strings
Regular expression matching is a key task (and often computational bottleneck) in a variety of software tools and applications. For instance, the standard grep and sed utilities, ...
Philip Bille, Mikkel Thorup
209
Voted
ICIP
2010
IEEE
15 years 1 months ago
Real-time 3D reconstruction and pose estimation for human motion analysis
In this paper, we present a markerless 3D motion capture system based on a volume reconstruction technique of non rigid bodies. It depicts a new approach for pose estimation in or...
Holger Graf, Sang Min Yoon, Cornelius Malerczyk
125
Voted
DIGRA
2005
Springer
15 years 9 months ago
Game Engineering for a Multiprocessor Architecture
This paper explores the idea that future game consoles and computers may no longer be single processor units, but instead symmetrical multiprocessor units. If this were to occur g...
Abdennour El Rhalibi, Steve Costa, David England