Sciweavers

2539 search results - page 384 / 508
» Debugging Method Names
Sort
View
ECCV
2004
Springer
15 years 1 months ago
Coaxial Omnidirectional Stereopsis
Catadioptric omnidirectional sensors (catadioptric cameras) capture instantaneous images with panoramic 360 field of view. Entire surroundings are projected via a circularly symme...
Libor Spacek
CSCLP
2006
Springer
15 years 1 months ago
An Attempt to Dynamically Break Symmetries in the Social Golfers Problem
A number of different satisfaction and optimisation combinatorial problems have recently been approached with constraint programming over the domain of finite sets, for increased d...
Francisco Azevedo
DAGM
2006
Springer
15 years 1 months ago
Segmentation-Based Motion with Occlusions Using Graph-Cut Optimization
Abstract. We propose to tackle the optical flow problem by a combination of two recent advances in the computation of dense correspondences, namely the incorporation of image segme...
Michael Bleyer, Christoph Rhemann, Margrit Gelautz
DSD
2006
IEEE
95views Hardware» more  DSD 2006»
15 years 1 months ago
Towards Performance-Oriented Pattern-Based Refinement of Synchronous Models onto NoC Communication
We present a performance-oriented refinement approach that refines a perfectly synchronous communication model onto Network-on-Chip (NoC) communication. We first identify four bas...
Zhonghai Lu, Ingo Sander, Axel Jantsch
ESOP
2006
Springer
15 years 1 months ago
Polymorphic Type Inference for the JNI
We present a multi-lingual type inference system for checking type safety of programs that use the Java Native Interface (JNI). The JNI uses specially-formatted strings to represe...
Michael Furr, Jeffrey S. Foster