Sciweavers

16606 search results - page 293 / 3322
» Context Modeling: Task Model and Practice Model
Sort
View
ASM
2000
ASM
15 years 9 months ago
Report on a Practical Application of ASMs in Software Design
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
Egon Börger, Peter Päppinghaus, Joachim ...
KR
1998
Springer
15 years 9 months ago
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise t...
Fausto Giunchiglia, Chiara Ghidini
ICASSP
2008
IEEE
15 years 11 months ago
Source coding with intermittent and degraded side information at the decoder
Practical schemes for distributed video coding with side information at the decoder need to consider non-standard correlation models in order to take non-stationarities into accou...
Francesca Bassi, Michel Kieffer, Claudio Weidmann
ICIA
2007
15 years 7 months ago
Why and How to Model Multi-Modal Interaction for a Mobile Robot Companion
Verbal and non-verbal interaction capabilities for robots are often studied isolated from each other in current research trend because they largely contribute to different aspects...
Shuyin Li, Britta Wrede
DAGSTUHL
2008
15 years 6 months ago
Transfinite Interpolation for Well-Definition in Error Analysis in Solid Modelling
An overall approach to the problem of error analysis in the context of solid modelling, analogous to the standard forward/backward error analysis of Numerical Analysis, was describ...
Neil F. Stewart, Malika Zidani