Sciweavers

5608 search results - page 1113 / 1122
» Structure description tools
Sort
View
PR
2007
142views more  PR 2007»
14 years 9 months ago
Visual guided navigation for image retrieval
In this work, we are interested in technologies that will allow users to actively browse and navigate large image databases and to retrieve images through interactive fast browsin...
Guoping Qiu, Jeremy Morris, Xunli Fan
ESWS
2010
Springer
14 years 8 months ago
The Semantic Gap of Formalized Meaning
Recent work in Ontology learning and Text mining has mainly focused on engineering methods to solve practical problem. In this thesis, we investigate methods that can substantially...
Sebastian Hellmann
INFOCOM
2010
IEEE
14 years 8 months ago
Pricing under Constraints in Access Networks: Revenue Maximization and Congestion Management
Abstract—This paper investigates pricing of Internet connectivity services in the context of a monopoly ISP selling broadband access to consumers. We first study the optimal com...
Prashanth Hande, Mung Chiang, A. Robert Calderbank...
JCC
2010
103views more  JCC 2010»
14 years 8 months ago
Conformational behavior of simple furanosides studied by optical rotation
: Experimental and theoretical specific optical rotations (OR) of anhydro, epithio, and epiminoderivatives of methyl tetrofuranosides in chloroform solutions have been compared an...
Jakub Kaminský, Ivan Raich, Katerina Tomc&a...
87
Voted
MICS
2010
81views more  MICS 2010»
14 years 8 months ago
Tactics for Hierarchical Proof
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
David Aspinall, Ewen Denney, Christoph Lüth
« Prev « First page 1113 / 1122 Last » Next »