Sciweavers

4897 search results - page 136 / 980
» Trust Modeling for Peer-to-Peer Based Computing Systems
Sort
View
HUMO
2000
Springer
15 years 7 months ago
A Computational Model for Motion Detection and Direction Discrimination in Humans
Seeing biological motion is very important for both humans and computers. Psychophysics experiments show that the ability of our visual system for biological motion detection and ...
Yang Song, Pietro Perona
ICPR
2008
IEEE
15 years 10 months ago
Real-time update of 3D deformable models for computer aided liver surgery
Providing accurate image-guidance for soft-tissue interventions remains a complex task. Most of the time, preoperative models and planning data are no more valid during the surgic...
Benoît Dagon, Charles Baur, Vincent Bettscha...
TSMC
2010
14 years 11 months ago
Probabilistic Model-Based Diagnosis: An Electrical Power System Case Study
Abstract--We present in this paper a case study of the probabilistic approach to model-based diagnosis. Here, the diagnosed system is a real-world electrical power system (EPS), i....
Ole J. Mengshoel, Mark Chavira, Keith Cascio, Scot...
CODES
2010
IEEE
15 years 2 months ago
Exploring models of computation with ptolemy II
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying prin...
Christopher X. Brooks, Edward A. Lee, Stavros Trip...
FMCO
2005
Springer
101views Formal Methods» more  FMCO 2005»
15 years 9 months ago
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
Abstract. This tutorial paper describes a framework for modelling several aspects of distributed computing based on Synchronised Hyperedge Replacement (SHR), a graph rewriting form...
Gian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo M...