1380 search results - page 65 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
ICSTM
2000
13 years 10 months ago
2000
System Dynamics has had a tough time breaking into High Schools. Like all good ideas the most difficult part is convincing those who would most benefit that this new approach is i...
CVPR
2006
IEEE
14 years 11 months ago
2006
IEEE
The paper describes a simple but robust framework for visual object tracking in a video sequence. Compared with the existing tracking techniques, our proposed tracking technique h...
ISICT
2003
13 years 10 months ago
2003
The notion of application – a single, bounded piece of functionality presented to users – goes almost unquestioned. However in the context of highly adaptive and ambient system...
IEEEHPCS
2010
13 years 7 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
ICCS
2005
Springer
14 years 2 months ago
2005
Springer
The paper presents the Multi Agent System (MAS) designed for the large scale parallel computations. The special kind of diffusionbased scheduling enables to decompose and allocate...