Sciweavers

1134 search results - page 89 / 227
» Using Constraints with Action Language for Model Evolution
Sort
View
COMPSAC
2002
IEEE
15 years 11 months ago
Understanding SQL through Iconic Interfaces
Visual Query Languages represent an evolution, in terms of understandability and adaptability, with respect to traditional textual languages. We present an iconic query system tha...
Lerina Aversano, Gerardo Canfora, Andrea De Lucia,...
DATE
2007
IEEE
112views Hardware» more  DATE 2007»
16 years 19 days ago
Tool-support for the analysis of hybrid systems and models
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
Andreas Bauer 0002, Markus Pister, Michael Tautsch...
ICVGIP
2004
15 years 7 months ago
Modeling Signs Using Functional Data Analysis
1 We present a functional data analysis (FDA) based method to statistically model continuous signs of the American Sign Language (ASL) for use in the recognition of signs in contin...
Sunita Nayak, Sudeep Sarkar, Kuntal Sengupta
AGP
2010
IEEE
15 years 11 months ago
Constraint Logic Programming
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently use...
Marco Gavanelli, Francesca Rossi
UML
2004
Springer
15 years 11 months ago
Behavioral Domain Analysis - The Application-Based Domain Modeling Approach
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
Iris Reinhartz-Berger, Arnon Sturm