1536 search results - page 139 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
MODELLIERUNG
2001
14 years 11 months ago
2001
: Scenarios/use cases have gained wide-spread use over the last couple of years. In software engineering they are mainly used to capture requirements and specify a system. Many sof...
SIGGRAPH
1996
ACM
15 years 2 months ago
1996
ACM
This paper describesthe application of spacetime constraints to creating transitions between segments of human body motion. The motion transition generation uses a combination of ...
FLAIRS
2003
14 years 11 months ago
2003
This paper presents a way of improving computerbased with lifelike presence in learning environment. The approach combines Intelligent Tutoring Systems with research on human emot...
COMPSYSTECH
2010
14 years 6 months ago
2010
: In this paper an approach for development of univariate time series prediction library in Java and its integration with an existing CLIPS related system is presented .A backpropa...
SAFECOMP
2000
Springer
15 years 1 months ago
2000
Springer
Increasingly, the dependability of vehicle based programmable systems is becoming a key feature in ensuring the safety of those in and around the vehicle. The goal of those respons...