Sciweavers

3333 search results - page 542 / 667
» Abstract Proof Search
Sort
View
GIS
2008
ACM
16 years 5 months ago
Biography as events in time and space
In digital humanities projects, particularly for historical research and cultural heritage, GIS has played an increasingly important role. However, most implementations have conce...
Fredric C. Gey, Ryan Shaw, Ray R. Larson, Barry Pa...
DAC
1998
ACM
16 years 5 months ago
Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
Farzan Fallah, Srinivas Devadas, Kurt Keutzer
MICCAI
2006
Springer
16 years 5 months ago
Multi-resolution Vessel Segmentation Using Normalized Cuts in Retinal Images
Abstract. Retinal vessel segmentation is an essential step of the diagnoses of various eye diseases. In this paper, we propose an automatic, efficient and unsupervised method based...
Wenchao Cai, Albert C. S. Chung
MICCAI
2005
Springer
16 years 5 months ago
Shape Modeling Using Automatic Landmarking
Abstract. This paper describes a novel approach to automatically recover accurate correspondence over various shapes. In order to detect the features points with the capability in ...
Jun Xie, Pheng-Ann Heng
ICML
2004
IEEE
16 years 5 months ago
Learning to fly by combining reinforcement learning with behavioural cloning
Reinforcement learning deals with learning optimal or near optimal policies while interacting with the environment. Application domains with many continuous variables are difficul...
Eduardo F. Morales, Claude Sammut