Sciweavers

1982 search results - page 170 / 397
» Parametricity and dependent types
Sort
View
DAGM
1995
Springer
15 years 10 months ago
High-Precision Localization of Circular Landmarks in Aerial Images
The reliability and accuracy of point-based image registration strongly depends on the selection of suitable landmarks and on the precision of localizing theses landmarks in images...
Christian Drewniok, Karl Rohr
SIGLEX
1991
15 years 10 months ago
Predictable Meaning Shift: Some Linguistic Properties of Lexical Implication Rules
Drawing on a growing database of systematic relationships between word-senses, the authors argue that a significant class of these represent Lexical Implication Rules, a set of fo...
Nicholas Ostler, B. T. S. Atkins
ISTA
2007
15 years 8 months ago
Exception Analysis in Service-Oriented Architecture
: Exception handling is one of the powerful means of achieving high dependability and fault-tolerance in service-oriented architecture (SOA). The paper introduces the results of ex...
Anatoliy Gorbenko, Elyasi Komari Iraj, Vyacheslav ...
WSPI
2008
15 years 8 months ago
Possibilities and Limitations of Modeling Trust and Reputation
Abstract. We all highly depend and rely on the trustworthiness of information and services provided by various parties and institutions. Reputation systems are one possibility to s...
Andreas Gutscher, Jessica Heesen, Oliver Siemoneit
CLIN
2004
15 years 8 months ago
Off-line Answer Extraction for Dutch QA
In Jijkoun et al. [2004] we showed that off-line answer extraction using syntactic patterns is a successful method for answering English factoid questions. In this paper I will di...
Jori Mur