Sciweavers

7467 search results - page 337 / 1494
» Incompleteness in information integration
Sort
View
TCS
2008
15 years 6 months ago
Integration of a security type system into a program logic
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
Reiner Hähnle, Jing Pan, Philipp Rümmer,...
CSL
2000
Springer
15 years 6 months ago
ProSynth: an integrated prosodic approach to device-independent, natural-sounding speech synthesis
This paper outlines ProSynth, an approach to speech synthesis which takes a rich linguistic structure as central to the generation of natural-sounding speech. We start from the as...
Richard Ogden, Sarah Hawkins, Jill House, Mark Huc...
OTM
2010
Springer
15 years 5 months ago
Integrating Keywords and Semantics on Document Annotation and Search
This paper describes GoNTogle, a framework for document annotation and retrieval, built on top of Semantic Web and IR technologies. GoNTogle supports ontology-based annotation for ...
Nikos Bikakis, Giorgos Giannopoulos, Theodore Dala...
ACL
2011
14 years 10 months ago
Integrating surprisal and uncertain-input models in online sentence comprehension: formal techniques and empirical results
A system making optimal use of available information in incremental language comprehension might be expected to use linguistic knowledge together with current input to revise beli...
Roger Levy
VLDB
2005
ACM
113views Database» more  VLDB 2005»
16 years 7 months ago
Mediators over taxonomy-based information sources
Abstract. We propose a mediator model for providing integrated and unified access to multiple taxonomy-based sources. Each source comprises a taxonomy and a database that indexes o...
Yannis Tzitzikas, Nicolas Spyratos, Panos Constant...