Sciweavers

965 search results - page 118 / 193
» Text Types in Hypermedia
Sort
View
166
Voted
CBMS
2007
IEEE
15 years 11 months ago
Auto-Extraction, Representation and Integration of a Diabetes Ontology Using Bayesian Networks
This paper describes how high level biological knowledge obtained from ontologies such as the Gene Ontology (GO) can be integrated with low level information extracted from a Baye...
Kenneth McGarry, Sheila Garfield, Stefan Wermter
136
Voted
ICDAR
2007
IEEE
15 years 11 months ago
A Bayesian Network Approach to Mode Detection for Interactive Maps
This paper describes a mode detection system for online pen input that employs a Bayesian network to combine classification results and context information. Previous monolithic c...
Don Willems, Louis Vuurpijl
TPHOL
2007
IEEE
15 years 11 months ago
Source-Level Proof Reconstruction for Interactive Theorem Proving
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
Lawrence C. Paulson, Kong Woei Susanto
CLEF
2007
Springer
15 years 10 months ago
A Supervised Learning Approach to Spanish Answer Validation
Abstract. This paper describes the results of the INAOE’s answer validation system evaluated at the Spanish track of the AVE 2007. The system is based on a supervised learning ap...
Alberto Téllez-Valero, Manuel Montes-y-G&oa...
157
Voted
AUIC
2006
IEEE
15 years 10 months ago
Generating mobile device user interfaces for diagram-based modelling tools
Mobile display devices such as phones and PDAs have become very widely available and used. However, most content on these devices is limited to text, static images and motion vide...
Dejin Zhao, John C. Grundy, John G. Hosking