593 search results - page 66 / 119 » Semantics-Preserving Procedure Extraction |
148
click to vote
LICS
1991
IEEE
15 years 6 months ago
1991
IEEE
Baeten, Bergstra, and Klop (and later Caucal) have proved the remarkable result that bisimulation equivalence is decidable for irredundant context-free grammars. In this paper we ...
AAAI
2008
15 years 5 months ago
2008
Protocols specifying business interactions among autonomous parties enable reuse and promote interoperability. A protocol is specified from a global viewpoint, but enacted in a di...
118
Voted
DAS
2010
Springer
15 years 5 months ago
2010
Springer
Separating machine printed text and handwriting from overlapping text is a challenging problem in the document analysis field and no reliable algorithms have been developed thus f...
134
click to vote
FOSSACS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
134
click to vote
LWA
2007
15 years 4 months ago
2007
The emergence of collaborative tagging systems with their underlying flat and uncontrolled resource organization paradigm has led to a large number of research activities focussi...