Sciweavers

3765 search results - page 301 / 753
» Formal Methods for Systems Engineering Behavior Models
Sort
View
MVA
2007
156views Computer Vision» more  MVA 2007»
15 years 6 months ago
A system for articulated tracking incorporating a clothing model
Abstract In this paper an approach for motion capture of dressed people is presented. A cloth draping method is incorporated in a silhouette based motion capture system. This leads...
Bodo Rosenhahn, Uwe G. Kersting, Katie Powell, Rei...
AGTIVE
2007
Springer
15 years 10 months ago
Shaped Generic Graph Transformation
Abstract. Since the systematic evolution of graph-like program models has become important in software engineering, graph transformation has gained much attention in this area. For...
Frank Drewes, Berthold Hoffmann, Dirk Janssens, Ma...
AIS
2004
Springer
16 years 3 days ago
Continuity and Change (Activity) Are Fundamentally Related in DEVS Simulation of Continuous Systems
Abstract. The success of DEVS methods for simulating large continuous models calls for more in-depth examination of the applicability of discrete events in modeling continuous phen...
Bernard P. Zeigler, Rajanikanth Jammalamadaka, Sal...
CSMR
2007
IEEE
16 years 1 months ago
A Feature-Oriented Adaptive Component Model for Dynamic Evolution
Dynamic adaptation has been an essential requirement for more and more business systems. Some research works have focused on the structural or behavioral changes of adaptive progr...
Xin Peng, Yijian Wu, Wenyun Zhao
IMC
2006
ACM
16 years 20 days ago
Web search clickstreams
Search engines are a vital part of the Web and thus the Internet infrastructure. Therefore understanding the behavior of users searching the Web gives insights into trends, and en...
Nils Kammenhuber, Julia Luxenburger, Anja Feldmann...