Sciweavers

2949 search results - page 217 / 590
» Transformations in Information Supply
Sort
View
ICIP
2010
IEEE
14 years 2 months ago
Estimation of linear deformations of 3D objects
We propose a registration method to find affine transformations between 3D objects by constructing and solving an overdetermined system of polynomial equations. We utilize voxel...
Attila Tanács, Natasa Sladoje, Joakim Lindblad, a...
WORDS
2003
IEEE
14 years 2 months ago
Timing Analysis of Optimised Code
Timing analysis is a crucial test for dependable hard real-time systems (DHRTS). The calculation of the worst-case execution time (WCET) is mandatory. As modern compilers are capa...
Raimund Kirner, Peter P. Puschner
CAV
2009
Springer
116views Hardware» more  CAV 2009»
14 years 2 months ago
Priority Scheduling of Distributed Systems Based on Model Checking
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph ...
CAISE
2006
Springer
14 years 1 months ago
A Framework for the Behavior Based Integration of Business Processes
Abstract. We propose a meta-meta framework architecture for supporting the behavior based integration of two business processes. The meta-meta level provides basic integration oper...
Georg Grossmann, Michael Schrefl, Markus Stumptner
MVA
2007
149views Computer Vision» more  MVA 2007»
13 years 11 months ago
Extraction of Corresponding Points from Stereo Images by Using Intersections of Segments
In many applications, it is necessary to extract corresponding points automatically. In this study, we present a method of extracting corresponding points automatically from stere...
Hiroshi Unno, Keikichi Hayashibe, Hitoshi Saji