Sciweavers

657 search results - page 26 / 132
» Defining the Problems of Framework Reuse
Sort
View
ICMAS
1998
15 years 3 months ago
Verifiable Semantics for Agent Communication Languages
This paper examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a verifiable semantics for such language...
Michael Wooldridge
ENTCS
2008
140views more  ENTCS 2008»
15 years 2 months ago
Fusing a Transformation Language with an Open Compiler
Transformation systems such as Stratego/XT provide powerful analysis and transformation frameworks and concise languages for language processing, but instantiating them for every ...
Karl Trygve Kalleberg, Eelco Visser
ICDAR
2009
IEEE
14 years 11 months ago
A Unified Framework for Recognizing Handwritten Chemical Expressions
Chemical expressions have more variant structures in 2-D space than that in math equations. In this paper we propose a unified framework for recognizing handwritten chemical expre...
Ming Chang, Shi Han, Dongmei Zhang
AIPS
2003
15 years 3 months ago
A Mixed-initiative Framework for Robust Plan Sketching
Sketching provides a natural and compact means for a user to outline a plan for a high-level objective. Previous work on plan sketching required that sketches be valid, meaning th...
Karen L. Myers, Peter Jarvis, Mabry Tyson, Michael...
CISIS
2010
IEEE
15 years 8 months ago
CANDEL: Product Line Based Dynamic Context Management for Pervasive Applications
— In pervasive environment, it is essential for computing applications to be context-aware. However, one of the major challenges is the establishment of a generic and dynamic con...
Zakwan Jaroucheh, Xiaodong Liu, Sally Smith