3166 search results - page 128 / 634 » Translation By Structural Correspondences |
79
Voted
IV
2000
IEEE
15 years 5 months ago
2000
IEEE
The goal to produce effective Optical Character Recognition (OCR) methods has lead to the development of a number of algorithms. The purpose of these is to take the hand-written o...
94
Voted
WOSP
2000
ACM
15 years 5 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
113
click to vote
COMPGEOM
1998
ACM
15 years 5 months ago
1998
ACM
Abstract. We propose a simple, general, randomized technique to reduce certain geometric optimization problems to their corresponding decision problems. These reductions increase t...
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...
62
Voted
EUSFLAT
2003
15 years 2 months ago
2003
A general framework for studying the transitivity of reciprocal relations is presented. The key feature is the cyclic evaluation of transitivity: triangles (i.e. any three points)...