Sciweavers

2226 search results - page 34 / 446
» Pdk: The System and Its Language
Sort
View
CONCUR
2012
Springer
13 years 4 months ago
Decidability Problems for Actor Systems
We introduce a nominal actor-based language and study its expressive power. We have identified the presence/absence of fields as a relevant feature: the dynamic creation of names...
Frank S. de Boer, Mahdi Mahdi Jaghoori, Cosimo Lan...
HYBRID
2005
Springer
15 years 7 months ago
Operational Semantics of Hybrid Systems
This paper discusses an interpretation of hybrid systems as executable models. A specification of a hybrid system for this purpose can be viewed as a program in a domain-specific...
Edward A. Lee, Haiyang Zheng
FSMNLP
2005
Springer
15 years 7 months ago
Principles, Implementation Strategies, and Evaluation of a Corpus Query System
Abstract. The last decade has seen an increase in the number of available corpus query systems. These systems generally implement a query language as well as a database model. We r...
Ulrik Petersen
ACL
2010
14 years 12 months ago
Evaluating Multilanguage-Comparability of Subjectivity Analysis Systems
Subjectivity analysis is a rapidly growing field of study. Along with its applications to various NLP tasks, much work have put efforts into multilingual subjectivity learning fro...
Jungi Kim, Jinji Li, Jong-Hyeok Lee
ECOOP
2010
Springer
15 years 6 months ago
Recency Types for Analyzing Scripting Languages
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
Phillip Heidegger, Peter Thiemann