392 search results - page 47 / 79 » APROL: a Hybrid Language |
114
click to vote
COLING
1996
15 years 3 months ago
1996
Prepositional phrase attachment is a major cause of stru(:tural alnbiguity in natural language. Recent work has been dependent on corpus-based approaches to deal with this problem...
139
click to vote
ERSHOV
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Debugging virtual machines (VMs) presents unique challenges, especially meta-circular VMs, which are written in the same language they implement. Making sense of runtime ...
120
click to vote
HYBRID
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we present a new design methodology for synchronous reactive systems, based on a clear separation between control and data flow parts. This methodology allows to fa...
123
click to vote
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
ended abstract provides an overview of my research towards a dissertation thesis in the context of programming cognitive agents with non-monotonic reasoning capabilities. Categori...