Sciweavers

153 search results - page 14 / 31
» A Regularization Approach to Metrical Task Systems
Sort
View
LISP
2002
107views more  LISP 2002»
14 years 11 months ago
Dependent Types for Program Termination Verification
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
Hongwei Xi
ICCV
2001
IEEE
16 years 1 months ago
Model-Based Bundle Adjustment with Application to Face Modeling
We present a new model-based bundle adjustment algorithm to recover the 3D model of a scene/object from a sequence of images with unknown motions. Instead of representing scene/ob...
Ying Shan, Zicheng Liu, Zhengyou Zhang
ICDM
2010
IEEE
99views Data Mining» more  ICDM 2010»
14 years 9 months ago
A System for Mining Temporal Physiological Data Streams for Advanced Prognostic Decision Support
We present a mining system that can predict the future health status of the patient using the temporal trajectories of health status of a set of similar patients. The main noveltie...
Jimeng Sun, Daby Sow, Jianying Hu, Shahram Ebadoll...
CIKM
2008
Springer
15 years 1 months ago
Metric-based ontology learning
Ontology learning is an important task in Artificial Intelligence, Semantic Web and Text Mining. This paper presents a novel framework for, and solutions to, three practical probl...
Hui Yang, Jamie Callan
COLCOM
2009
IEEE
15 years 4 months ago
An analytical study of GWAP-based geospatial tagging systems
—Geospatial tagging (geotagging) is an emerging and very promising application that can help users find a wide variety of location-specific information, and facilitate the deve...
Ling-Jyh Chen, Yu-Song Syu, Bo-Chun Wang, Wang-Chi...