Sciweavers

83 search results - page 7 / 17
» From Capturing Semantics to Semantic Search: A Virtuous Cycl...
Sort
View
WWW
2005
ACM
15 years 10 months ago
Browsing fatigue in handhelds: semantic bookmarking spells relief
Focused Web browsing activities such as periodically looking up headline news, weather reports, etc., which require only selective fragments of particular Web pages, can be made m...
Saikat Mukherjee, I. V. Ramakrishnan
BMCBI
2011
14 years 1 months ago
Computable visually observed phenotype ontological framework for plants
Background: The ability to search for and precisely compare similar phenotypic appearances within and across species has vast potential in plant science and genetic research. The ...
Jaturon Harnsomburana, Jason M. Green, Adrian S. B...
DEXAW
2007
IEEE
125views Database» more  DEXAW 2007»
15 years 4 months ago
Ontology-Based Retrieval of Human Speech
As part of the general growth and diversification of media in different modalities, the presence of information in the form of human speech in the world-wide body of digital conte...
Javier Tejedor, Roberto García, Miriam Fern...
DASFAA
2010
IEEE
220views Database» more  DASFAA 2010»
14 years 7 months ago
An Effective Object-Level XML Keyword Search
Keyword search is widely recognized as a convenient way to retrieve information from XML data. In order to precisely meet users' search concerns, we study how to effectively r...
Zhifeng Bao, Jiaheng Lu, Tok Wang Ling, Liang Xu, ...
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