Sciweavers

6799 search results - page 40 / 1360
» The Tao of Modeling Spaces
Sort
View
IRREGULAR
1997
Springer
14 years 2 months ago
Parallel Shared-Memory State-Space Exploration in Stochastic Modeling
Stochastic modeling forms the basis for analysis in many areas, including biological and economic systems, as well as the performance and reliability modeling of computers and comm...
Susann C. Allmaier, Graham Horton
CGIM
2003
13 years 11 months ago
Modeling an Infinite Emotion Space for Expressionistic Cartoon Face Animation
Inspired by traditional expressive animation, we attempt to propose an infinite emotion-space as a model to control free-form facial expression synthesis. Although a number of mod...
Prashant Chopra, Joerg Meyer
PODS
1997
ACM
182views Database» more  PODS 1997»
14 years 2 months ago
A Cost Model For Nearest Neighbor Search in High-Dimensional Data Space
In this paper, we present a new cost model for nearest neighbor search in high-dimensional data space. We first analyze different nearest neighbor algorithms, present a generaliza...
Stefan Berchtold, Christian Böhm, Daniel A. K...
TSE
2010
123views more  TSE 2010»
13 years 4 months ago
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
Husain Aljazzar, Stefan Leue
SAC
2010
ACM
14 years 4 months ago
Extraction of component-environment interaction model using state space traversal
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
Pavel Parizek, Nodir Yuldashev