Sciweavers

247 search results - page 22 / 50
» The Chinese Aspect System and its Semantic Interpretation
Sort
View
ACL
2008
13 years 9 months ago
BART: A Modular Toolkit for Coreference Resolution
Developing a full coreference system able to run all the way from raw text to semantic interpretation is a considerable engineering effort. Accordingly, there is very limited avai...
Yannick Versley, Simone Paolo Ponzetto, Massimo Po...
ICDT
2007
ACM
117views Database» more  ICDT 2007»
14 years 1 months ago
Preferentially Annotated Regular Path Queries
In this paper, we introduce preferential regular path queries. These are regular path queries whose symbols are annotated with preference weights for “scaling” up or down the i...
Gösta Grahne, Alex Thomo, William W. Wadge
TAPSOFT
1997
Springer
13 years 11 months ago
The Railroad Crossing Problem: Towards Semantics of Timed Algorithms and Their Model Checking in High Level Languages
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
Danièle Beauquier, Anatol Slissenko
VEE
2006
ACM
102views Virtualization» more  VEE 2006»
14 years 1 months ago
A stackless runtime environment for a Pi-calculus
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
Frédéric Peschanski, Samuel Hym
ISSTA
2004
ACM
14 years 29 days ago
Verifying process models built using parameterized state machines
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
Barbara Staudt Lerner