5414 search results - page 200 / 1083 » Exploratory Model Building |
109
Voted
AMAI
2008
Springer
15 years 2 months ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
126
click to vote
ICALT
2010
IEEE
15 years 15 days ago
2010
IEEE
We propose in this paper a new method to compute indicators based on models transformations. We use the concept of modeled trace and trace-based system to design an indicator. We u...
100
Voted
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents the methodology and the modeling constructs we have developed to capture the real time aspects of RTOS simulation models in a System Level Design Language (SLD...
MMM
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we introduce a novel metadata model for describing scalable and interactive TV services that can be enriched with supplemental multimedia information. The model all...
118
Voted
GW
2007
Springer
15 years 6 months ago
2007
Springer
The study of sign languages attempts to create a coherent model that binds the expressive nature of signs conveyed in gestures to a linguistic framework. Gesture modelling offers a...