Sciweavers

4346 search results - page 203 / 870
» Models of Complex Physical Systems Using Cell-DEVS
Sort
View
HPDC
2003
IEEE
15 years 9 months ago
Adaptive Polling of Grid Resource Monitors Using a Slacker Coherence Model
As Data and Computational Grids grow in size and complexity, the crucial task of identifying, monitoring and utilizing available resources in an efficient manner is becoming incr...
Radhakrishnan Sundaresan, Mario Lauria, Tahsin M. ...
CMSB
2004
Springer
15 years 9 months ago
Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
Jasmin Fisher, David Harel, E. Jane Albert Hubbard...
AR
2011
14 years 11 months ago
Learning, Generation and Recognition of Motions by Reference-Point-Dependent Probabilistic Models
This paper presents a novel method for learning object manipulation such as rotating an object or placing one object on another. In this method, motions are learned using referenc...
Komei Sugiura, Naoto Iwahashi, Hideki Kashioka, Sa...
FMCAD
2004
Springer
15 years 8 months ago
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
Thao Dang, Alexandre Donzé, Oded Maler
SSPR
2004
Springer
15 years 9 months ago
Learning People Movement Model from Multiple Cameras for Behaviour Recognition
Abstract. In surveillance systems for monitoring people behaviour, it is imporant to build systems that can adapt to the signatures of the people tasks and movements in the environ...
Nam Thanh Nguyen, Svetha Venkatesh, Geoff A. W. We...