Sciweavers

3605 search results - page 620 / 721
» System and simulation modeling using SysML
Sort
View
LREC
2008
111views Education» more  LREC 2008»
15 years 4 months ago
A Multimodal Infant Behavior Annotation for Developmental Analysis of Demonstrative Expressions
We have obtained the valuable findings about the developmental processes of demonstrative expression skills, which is concerned with the fundamental commonsense of human knowledge...
Shigeyoshi Kitazawa, Shinya Kiriyama, Tomohiko Kas...
143
Voted
EPK
2006
114views Management» more  EPK 2006»
15 years 4 months ago
Verifying Properties of (Timed) Event Driven Process Chains by Transformation to Hybrid Automata
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...
Stefan Denne
IMAGING
2000
15 years 4 months ago
Quantifying Mixed Adaptation in Cross-Media Color Reproduction
This paper describes an investigation undertaken to address the goal set by the CIE Technical committee TC804: "To investigate the state of adaptation of the visual system wh...
Sharron A. Henley, Mark D. Fairchild
CGF
2008
165views more  CGF 2008»
15 years 3 months ago
Visual Inspection of Multivariate Graphs
Most graph visualization techniques focus on the structure of graphs and do not offer support for dealing with node attributes and edge labels. To enable users to detect relations...
A. Johannes Pretorius, Jarke J. van Wijk
FMSD
2006
131views more  FMSD 2006»
15 years 3 months ago
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
Peter Csaba Ölveczky, José Meseguer, C...