Sciweavers

65 search results - page 6 / 13
» Incremental Natural Language Description of Dynamic Imagery
Sort
View
FDL
2006
IEEE
13 years 10 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...
JUCS
2008
172views more  JUCS 2008»
13 years 7 months ago
Formal Action Semantics for a UML Action Language
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
Mikai Yang, Greg J. Michaelson, Rob Pooley
NLPRS
2001
Springer
13 years 11 months ago
Korean Text Generation from Database for Homeshopping Sites
This paper describes a text generation system, XExplainer, which can dynamically produce a description of commodities in Korean from a relational database for homeshopping sites. ...
Ji-Eun Roh, Sin-Jae Kang, Jong-Hyeok Lee
UML
1998
Springer
13 years 11 months ago
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams
The use of scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of system behavior, ...
Ismaïl Khriss, Mohammed Elkoutbi, Rudolf K. K...
UIST
1996
ACM
13 years 11 months ago
XXL: A Dual Approach for Building User Interfaces
This paper presents XXL, a new interactive development system for building user interfaces which is based on the concept of textual and visual equivalence. XXL includes an interac...
Eric Lecolinet