5544 search results - page 217 / 1109 » Three Inadequate Models |
COMPLEXITY
2006
13 years 9 months ago
2006
Statistical physics, computer simulation and discrete mathematics are intimately related through the study of shared lattice models. These models lie at the foundation of all thre...
CSDA
2006
13 years 9 months ago
2006
A nonlinear dynamic model for the quotes issued by Nasdaq dealers is considered, focussing on the top two Electronic Communication Networks (ECNs), Island and Instinet, and the th...
SIGGRAPH
1998
ACM
14 years 1 months ago
1998
ACM
We present a method that uses measured scene radiance and global illumination in order to add new objects to light-based models with correct lighting. The method uses a high dynam...
IHIS
2005
ACM
14 years 3 months ago
2005
ACM
The goal of this work is to contribute to the field of interoperability of Workflow models. To achieve this interoperability, we have built a generic architecture that s three lev...
CHARME
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...