Sciweavers

657 search results - page 26 / 132
» Defining the Problems of Framework Reuse
Sort
View
201
Voted
ICMAS
1998
15 years 7 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 6 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
15 years 4 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 7 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
16 years 1 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