Sciweavers

899 search results - page 45 / 180
» A Temporal Language for SystemC
Sort
View
AAAI
1996
14 years 11 months ago
On the Range of Applicability of Baker's Approach to the Frame Problem
We investigate the range of applicability of Baker's approach to the frame problem using an action language. We show that for temporal projection and deterministic domains, B...
G. Neelakantan Kartha
PTS
2008
109views Hardware» more  PTS 2008»
14 years 11 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
GW
2007
Springer
85views Biometrics» more  GW 2007»
15 years 3 months ago
A Qualitative and Quantitative Characterisation of Style in Sign Language Gestures
This paper addresses the identification and representation of the variations induced by style for the synthesis of realistic and convincing expressive gesture sequences. A qualita...
Alexis Heloir, Sylvie Gibet
IJCNLP
2005
Springer
15 years 3 months ago
A Preliminary Work on Classifying Time Granularities of Temporal Questions
Abstract. Temporal question classification assigns time granularities to temporal questions ac-cording to their anticipated answers. It is very important for answer extraction and ...
Wei Li, Wenjie Li, Qin Lu, Kam-Fai Wong
PPSWR
2005
Springer
15 years 3 months ago
Computational Treatment of Temporal Notions: The CTTN-System
The CTTN-system is a computer program which provides advanced processing or temporal notions. The basic data structures of the CTTN-system are time points, crisp and fuzzy time int...
Hans Jürgen Ohlbach