159 search results - page 26 / 32 » Weak Equivalences in Psi-Calculi |
AGP
1999
IEEE
15 years 5 months ago
1999
IEEE
We study the problem of an efficient and precise sharing analysis of (constraint) logic programs. After recognizing that neither aring nor its non-redundant (but equivalent) abstra...
98
Voted
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
We present a module calculus for studying a simple model of link-time compilation. The calculus is stratified into a term calculus, a core module calculus, and a linking calculus. ...
120
click to vote
ICVGIP
2004
15 years 2 months ago
2004
In this paper, we present a holistic system for the recognition of cursive handwriting that utilizes a novel feature extraction method and a neural network. The Hough transform is...
109
Voted
OPODIS
2004
15 years 2 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
89
Voted
SODA
2004
ACM
15 years 2 months ago
2004
ACM
We consider the problem of picking (buying) an inexpensive s-t path in a graph where edges are owned by independent (selfish) agents, and the cost of an edge is known to its owner...