Sciweavers

2406 search results - page 416 / 482
» Visualizations: speech, language
Sort
View
FM
2009
Springer
106views Formal Methods» more  FM 2009»
15 years 8 months ago
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
Rik Eshuis
UBIMOB
2009
ACM
154views Management» more  UBIMOB 2009»
15 years 8 months ago
SoCQ: a pervasive environment management system
Pervasive systems give an overview of what digital environments should look like in the future. SoCQ takes a data-oriented perspective on the pervasive environment through a uniï¬...
Yann Gripay, Frédérique Laforest, Je...
ETFA
2008
IEEE
15 years 8 months ago
Automatic generation of bond graph models of process plants
This paper presents an application for the automatic generation of Bond Graph models. The basis for this automated creation is a modified plant model in the XML-format according t...
Sebastian Beez, Alexander Fay, Nina F. Thornhill
IRI
2007
IEEE
15 years 7 months ago
The Certification of Software Tools with respect to Software Standards
Software development standards such as the UML provide complex modeling languages for specifying, visualizing, constructing, and documenting the artifacts of software systems [1]....
Panuchart Bunyakiati, Anthony Finkelstein, David S...
IFIP
2007
Springer
15 years 7 months ago
Super-Resolution Video Analysis for Forensic Investigations
Super-resolution algorithms typically improve the resolution of a video frame by mapping and performing signal processing operations on data from frames immediately preceding and i...
Ashish Gehani, John H. Reif