1524 search results - page 25 / 305 » Operational Semantics of Hybrid Systems |
FLAIRS
2008
14 years 10 months ago
2008
This paper describes a shallow parsing formalism aiming at machine translation between closely related languages. The formalism allows to write grammar rules helping to (partially...
113
click to vote
ACL
2006
2006
Answer Extraction, Semantic Clustering, and Extractive Summarization for Clinical Question Answering
14 years 11 months ago
This paper presents a hybrid approach to question answering in the clinical domain that combines techniques from summarization and information retrieval. We tackle a frequently-oc...
REX
1991
15 years 1 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
79
Voted
KRDB
1994
14 years 11 months ago
1994
We propose an architecture for large-scale knowledge base systems based on database technologies and the three levels of semantic construct - frames, objects and relations. The in...
75
Voted
ENTCS
2007
14 years 9 months ago
2007
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...