Sciweavers

4466 search results - page 640 / 894
» Large-Scale Data Analysis Using Heuristic Methods
Sort
View
FORMATS
2008
Springer
15 years 5 months ago
Formal Modeling and Scheduling of Datapaths of Digital Document Printers
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan B...
CVPR
2001
IEEE
16 years 5 months ago
A New 3-D Pattern Recognition Technique With Application to Computer Aided Colonoscopy
To utilize CT or MRI images for computer aided diagnosis applications, robust features that represent 3-D image data need to be constructed and subsequently used by a classificati...
Salih Burak Göktürk, Carlo Tomasi
150
Voted
MM
2005
ACM
181views Multimedia» more  MM 2005»
15 years 9 months ago
Tracking news stories across different sources
Information linkage is becoming more and more important in this digital age. In this paper, we propose a concept tracking method, which links the news stories with the same topic ...
Yun Zhai, Mubarak Shah
GRAPHITE
2007
ACM
15 years 7 months ago
A shape hierarchy for 3D modelling from video
This paper describes an interactive method for generating a model of a scene from image data. The method uses the camera parameters and point cloud typically generated by structur...
Anton van den Hengel, Anthony R. Dick, Thorsten Th...
CORR
2008
Springer
99views Education» more  CORR 2008»
15 years 3 months ago
When is there a representer theorem? Vector versus matrix regularizers
We consider a general class of regularization methods which learn a vector of parameters on the basis of linear measurements. It is well known that if the regularizer is a nondecr...
Andreas Argyriou, Charles A. Micchelli, Massimilia...