383 search results - page 49 / 77 » Abstracting Complex Languages through Transformation and Com... |
143
Voted
JOT
2008
15 years 3 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
142
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Service robots will have to accomplish more and more complex, open-ended tasks and regularly acquire new skills. In this work, we propose a new approach to generating plans for su...
126
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
126
Voted
CCS
2007
ACM
15 years 9 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
123
Voted
IJCNLP
2004
Springer
2004
Springer
Bilingual Chunk Alignment Based on Interactional Matching and Probabilistic Latent Semantic Indexing
15 years 9 months ago
Abstract. An integrated method for bilingual chunk partition and alignment, called “Interactional Matching”, is proposed in this paper. Different from former works, our method...