Sciweavers

2933 search results - page 11 / 587
» Agent-Grid Integration Language
Sort
View
FSTTCS
2010
Springer
13 years 5 months ago
Two Size Measures for Timed Languages
Quantitative properties of timed regular languages, such as information content (growth rate, entropy) are explored. The approach suggested by the same authors is extended to lang...
Eugene Asarin, Aldric Degorre
TACAS
2010
Springer
151views Algorithms» more  TACAS 2010»
13 years 5 months ago
A Polymorphic Intermediate Verification Language: Design and Logical Encoding
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
K. Rustan M. Leino, Philipp Rümmer
FORTE
2009
13 years 5 months ago
System Model-Based Definition of Modeling Language Semantics
Abstract. In this paper, we present an approach to define the semantics for object-oriented modeling languages. One important property of this semantics is to support underspecifie...
Hans Grönniger, Jan Oliver Ringert, Bernhard ...
FUIN
2002
128views more  FUIN 2002»
13 years 7 months ago
PathLog: a Query Language for Schemaless Databases of Partially Labeled Objects
Abstract. In the paper we deal with the problem of modeling and querying information in schemaless databases of partially labeled objects (PLO-DB). Partially labeled objects are us...
Tadeusz Pankowski
ACL
2009
13 years 5 months ago
Cross Language Dependency Parsing using a Bilingual Lexicon
This paper proposes an approach to enhance dependency parsing in a language by using a translated treebank from another language. A simple statistical machine translation method, ...
Hai Zhao, Yan Song, Chunyu Kit, Guodong Zhou