2302 search results - page 196 / 461 » Modeling Intergovernmental Collaboration: A System Dynamics ... |
151
Voted
JOT
2008
15 years 5 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
127
click to vote
CAISE
2003
Springer
15 years 10 months ago
2003
Springer
Providing technology support for older people offers distinct challenges for social and IT systems delivery. The definition and integration of services, the diversity of supply, va...
145
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Structure and motion estimation from long image sequences is a an important and difficult problem in computer vision. We propose a novel approach based on nonlinear and adaptive ...
139
click to vote
DAC
2003
ACM
16 years 6 months ago
2003
ACM
In this paper we propose a method for generating reduced models for a class of nonlinear dynamical systems, based on truncated balanced realization (TBR) algorithm and a recently ...
163
click to vote
VR
2010
IEEE
15 years 3 months ago
2010
IEEE
VirtualizeMe introduces a new design for a fully immersive TeleImmersion system for remote collaboration and virtual world interaction. This system introduces a new avatar creatio...