Sciweavers

11211 search results - page 1818 / 2243
» Data Structures
Sort
View
MVA
2007
158views Computer Vision» more  MVA 2007»
15 years 6 months ago
Hybrid object labelling in digital images
The application of a technique for labelling connected components based on the classical recursive technique is studied. The recursive approach permits labelling, counting, and cha...
Julio Martín-Herrero
JVCA
2008
58views more  JVCA 2008»
15 years 6 months ago
View-dependent dynamics of articulated bodies
We propose a method for view-dependent simplification of articulated-body dynamics, which enables an automatic trade-off between visual precision and computational efficiency. We ...
Sujeong Kim, Stephane Redon, Young J. Kim
202
Voted
RTS
2008
131views more  RTS 2008»
15 years 6 months ago
A constant-time dynamic storage allocator for real-time systems
Dynamic memory allocation has been used for decades. However, it has seldom been used in real-time systems since the worst case of spatial and temporal requirements for allocation ...
Miguel Masmano, Ismael Ripoll, Patricia Balbastre,...
DGCI
2005
Springer
16 years 11 days ago
Algorithms for the Topological Watershed
The watershed transformation is an efficient tool for segmenting grayscale images. An original approach to the watershed [1,9] consists in modifying the original image by lowering...
Michel Couprie, Laurent Najman, Gilles Bertrand
ICFEM
2010
Springer
15 years 5 months ago
Verifying Heap-Manipulating Programs with Unknown Procedure Calls
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
Shengchao Qin, Chenguang Luo, Guanhua He, Florin C...
« Prev « First page 1818 / 2243 Last » Next »