Sciweavers

1458 search results - page 207 / 292
» System Model-Based Definition of Modeling Language Semantics
Sort
View
APLAS
2005
ACM
14 years 1 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
IWSDS
2010
13 years 5 months ago
D3 Toolkit: A Development Toolkit for Daydreaming Spoken Dialog Systems
Recently various data-driven spoken language technologies have been applied to spoken dialog system development. However, high cost of maintaining the spoken dialog systems is one ...
Donghyeon Lee, Kyungduk Kim, Cheongjae Lee, Junhwi...
SEFM
2005
IEEE
14 years 1 months ago
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre ...
ASE
2004
108views more  ASE 2004»
13 years 7 months ago
CODEWEAVE: Exploring Fine-Grained Mobility of Code
er is concerned with an abstract exploration of code mobility constructs designed for use in settings where the level of granularity associated with the mobile units exhibits sign...
Cecilia Mascolo, Gian Pietro Picco, Gruia-Catalin ...
ICMCS
2006
IEEE
161views Multimedia» more  ICMCS 2006»
14 years 1 months ago
Improved Similarity-Based Online Feature Selection in Region-Based Image Retrieval
To bridge the gap between high level semantic concepts and low level visual features in content-based image retrieval (CBIR), online feature selection is really required. An effec...
Fei Li, Qionghai Dai, Wenli Xu