671 search results - page 42 / 135 » Computer Aided Modelling Exercises |
CORR
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov chains and Markov Decision Processes. (Finite) paths in coun...
WEBI
2004
Springer
14 years 3 months ago
2004
Springer
As the amount of available data continues to increase, more and more effective means for discovering important patterns and relationships within that data are required. Although t...
CAD
2006
Springer
13 years 10 months ago
2006
Springer
A novel method for projecting points onto a point cloud, possibly with noise, is presented based on the point directed projection (DP) algorithm proposed by Azariadis P., Sapidis ...
CHI
2005
ACM
14 years 10 months ago
2005
ACM
The steering law model describes pointing device motion through constrained paths. Previous uses of the model are deficient because they are built using only error-free responses,...
DAC
2003
ACM
14 years 3 months ago
2003
ACM
The design of state-of-the-art, complex embedded systems requires the capability of modeling and simulating the complex networked environment in which such systems operate. This i...