Sciweavers

178 search results - page 29 / 36
» Semantic Methods and Tools for Information Portals
Sort
View
WWW
2004
ACM
15 years 10 months ago
Incremental formalization of document annotations through ontology-based paraphrasing
For the manual semantic markup of documents to become widespread, users must be able to express annotations that conform to ontologies (or schemas) that have shared meaning. Howev...
Jim Blythe, Yolanda Gil
ICDE
2010
IEEE
251views Database» more  ICDE 2010»
15 years 9 months ago
Viewing a World of Annotations through AnnoVIP
The proliferation of electronic content has notably lead to the apparition of large corpora of interrelated structured documents (such as HTML and XML Web pages) and semantic annot...
Konstantinos Karanasos, Spyros Zoupanos
MICCAI
2010
Springer
14 years 7 months ago
Modeling and Segmentation of Surgical Workflow from Laparoscopic Video
Modeling and analyzing surgeries based on signals that are obtained automatically from the operating room (OR) is a field of recent interest. It can be valuable for analyzing and u...
Tobias Blum, Hubertus Feußner, Nassir Navab
MST
2007
168views more  MST 2007»
14 years 9 months ago
Productivity of Edalat-Potts Exact Arithmetic in Constructive Type Theory
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Edalat–Potts in type theory. We choose the constructive type theory extended with coind...
Milad Niqui
BMCBI
2007
134views more  BMCBI 2007»
14 years 9 months ago
Benchmarking natural-language parsers for biological applications using dependency graphs
Background: Interest is growing in the application of syntactic parsers to natural language processing problems in biology, but assessing their performance is difficult because di...
Andrew B. Clegg, Adrian J. Shepherd