Sciweavers

2539 search results - page 60 / 508
» Semantic frameworks for e-government
Sort
View
SIMVIS
2004
15 years 1 months ago
A Formal Model of a Framework for Simulation-Based Animation
We present a rigorous formal - but transparent - specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kern...
Wolfgang Müller 0003, Volker Paelke
WCRE
1999
IEEE
15 years 4 months ago
A Framework for Classifying and Comparing Software Reverse Engineering and Design Recovery Techniques
Several techniques have been suggested for supporting reverse engineering and design recovery activities. While many of these techniques have been cataloged in various collections...
Gerald C. Gannod, Betty H. C. Cheng
AAAI
2007
15 years 2 months ago
Handling Non-Sentential Utterances in a Continuous Understanding Framework
The goal of my research is to understand speech input in a continuous manner by treating the input stream as fragmental utterances. This allows us to use various approaches to pre...
Carlos Gómez Gallo
CI
2002
112views more  CI 2002»
14 years 11 months ago
Negotiating the Semantics of Agent Communication Languages
This paper presents a formal framework and outlines a method that autonomous agents can use to negotiate the semantics of their communication language at run-time. Such an ability...
Chris Reed, Timothy J. Norman, Nicholas R. Jenning...
APLAS
2006
ACM
15 years 5 months ago
Proof Abstraction for Imperative Languages
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...
William L. Harrison