Sciweavers

68 search results - page 5 / 14
» MontiCore: a framework for the development of textual domain...
Sort
View
RE
2010
Springer
13 years 2 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
AAAI
2006
13 years 9 months ago
Goal Specification, Non-Determinism and Quantifying over Policies
One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. Temporal logics such...
Chitta Baral, Jicheng Zhao
ICEIS
2002
IEEE
14 years 17 days ago
Using Hot-Spot-Driven Approach in the Development of a Framework for Multimedia Presentation on the Web
: Frameworks can be seen as generative since they are intended and well suited to be used as the foundation for the development of a number of applications in the domain captured b...
Khalid Suliman Al-Tahat, Sufian Bin Idris, Tengku ...
AAAI
2004
13 years 9 months ago
Automatically Transforming Symbolic Shape Descriptions for Use in Sketch Recognition
Sketch recognition systems are currently being developed for many domains, but can be time consuming to build if they are to handle the intricacies of each domain. This paper pres...
Tracy Hammond, Randall Davis
JAIR
2010
111views more  JAIR 2010»
13 years 6 months ago
Training a Multilingual Sportscaster: Using Perceptual Context to Learn Language
We present a novel framework for learning to interpret and generate language using only perceptual context as supervision. We demonstrate its capabilities by developing a system t...
David L. Chen, Joohyun Kim, Raymond J. Mooney