Sciweavers

2013 search results - page 173 / 403
» Analysis and Design Techniques for Service-Oriented Developm...
Sort
View
DATE
2009
IEEE
107views Hardware» more  DATE 2009»
16 years 1 months ago
Learning early-stage platform dimensioning from late-stage timing verification
— Today's innovations in the automotive sector are, to a great extent, based on electronics. The increasing integration complexity and stringent cost reduction goals turn E/...
Kai Richter, Marek Jersak, Rolf Ernst
AIIDE
2009
15 years 7 months ago
Bowyer: A Planning Tool for Bridging the Gap between Declarative and Procedural Domains
Traditionally, there have been two large obstacles faced in attempting to apply AI techniques to games and other virtual environments. The first obstacle is the gap between the la...
Steven P. Cash, R. Michael Young
UAI
2001
15 years 8 months ago
Toward General Analysis of Recursive Probability Models
There is increasing interest within the research community in the design and use of recursive probability models. There remains concern about computational complexity costs and th...
Daniel Pless, George F. Luger
ECBS
2006
IEEE
153views Hardware» more  ECBS 2006»
15 years 10 months ago
A Unified Approach for Verification and Validation of Systems and Software Engineering Models
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
Luay Alawneh, Mourad Debbabi, Yosr Jarraya, Andrei...
ICDAR
2007
IEEE
16 years 26 days ago
iGesture: A General Gesture Recognition Framework
With the emergence of digital pen and paper interfaces, there is a need for gesture recognition tools for digital pen input. While there exists a variety of gesture recognition fr...
Beat Signer, U. Kurmann, Moira C. Norrie