1636 search results - page 235 / 328 » Type-Theoretic Functional Semantics |
150
Voted
PVLDB
2010
15 years 1 months ago
2010
This is a demonstration of data coordination in a peer data management system through the employment of distributed triggers. The latter express in a declarative manner individual...
PVLDB
2010
15 years 1 months ago
2010
We demonstrate an efficient LINQ to SQL provider and its significant impact on the runtime performance of LINQ programs that process large data volumes. This alternative provider...
107
Voted
ACL
2010
15 years 1 months ago
2010
In this paper, we introduce a corpus of consumer reviews from the rateitall and the eopinions websites annotated with opinion-related information. We present a two-level annotatio...
128
Voted
ICDAR
2011
IEEE
14 years 3 months ago
2011
IEEE
—This paper proposes a model-based text line segmentation algorithm for machine-printed document images. The model is based on geometric configuration which uses the interline sp...
151
Voted
FIMH
2009
Springer
15 years 1 months ago
2009
Springer
Cardiac magnetic resonance (MR) imaging has advanced to become a powerful diagnostic tool in clinical practice. Automatic detection of anatomic landmarks from MR images is importan...