Sciweavers

12487 search results - page 308 / 2498
» Graspable Work Modeling
Sort
View
120
Voted
CAISE
2006
Springer
15 years 8 months ago
Inter Model Data Exchange of Type Information via a Common Type Hierarchy
Data exchange between heterogeneous schemas is a difficult problem that becomes more acute if the source and target schemas are from different data models. The data type of the obj...
Andrew Smith, Peter McBrien
ECCV
2006
Springer
15 years 8 months ago
Spatial Segmentation of Temporal Texture Using Mixture Linear Models
In this paper we propose a novel approach for the spatial segmentation of video sequences containing multiple temporal textures. This work is based on the notion that a single tem...
Lee Cooper, Jun Liu, Kun Huang
FDL
2006
IEEE
15 years 8 months ago
Verification-Oriented Behavioral Modeling of Non-Linear Analog
In this work, an approach to the `verification-oriented' modeling of the analog parts' behavior of mixed-signal circuits is presented. Starting from a continuous-time, c...
Martin Freibothe, Jens Doege, Torsten Coym, Stefan...
125
Voted
WSC
2007
15 years 7 months ago
Agent-based modeling and simulation of wildland fire suppression
Simulation of wildland fire suppression is useful to evaluate deployment plans of firefighting resources and to experiment different fire suppression strategies and tactics. Previ...
Xiaolin Hu, Yi Sun
ASM
2008
ASM
15 years 6 months ago
The Composition of Event-B Models
The transition from classical B [2] to the Event-B language and method [3] has seen the removal of some forms of model structuring and composition, with the intention of reinventin...
Michael Poppleton