4555 search results - page 714 / 911 » Deductive Algorithmic Knowledge |
201
click to vote
BIBE
2009
IEEE
15 years 11 months ago
2009
IEEE
Gene and protein structural and functional annotations expressed through controlled terminologies and ontologies are paramount especially for the aim of inferring new biomedical k...
188
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In this paper we propose a probabilistic framework that models shape variations and infers dense and detailed 3D shapes from a single silhouette. We model two types of sh...
168
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper studies optimal long-term electric power capacity strategies with capacity options. Gencos can sign contracts with Discos, where such contracts take the form of capacit...
173
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Trajectory design for high-dimensional systems with nonconvex constraints is a challenging problem considered in this paper. Classical dynamic programming is often employed, but c...
164
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
We demonstrate ProgXe, a practical approach to support MultiCriteria Decision Support (MCDS) applications that need to report results as they are being generated to enable the use...