11484 search results - page 400 / 2297 » Modeling in the Large and Modeling in the Small |
189
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
To develop agent-based systems, one needs a methodology that supports the development process as common in other disciplines. In recent years, several such methodologies and model...
202
click to vote
SIGGRAPH
1998
ACM
15 years 11 months ago
1998
ACM
In this paper we develop a computational model of adaptation and spatial vision for realistic tone reproduction. The model is based on a multiscale representation of pattern, lumi...
176
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
186
click to vote
PDPTA
2007
15 years 8 months ago
2007
- The MASC (for Multiple Associative Computing) model is a SIMD model enhanced with associative properties and multiple synchronous instruction streams (IS). A number of algorithms...
209
click to vote
ICA
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In recent years, there has been a great deal of work in modeling audio using non-negative matrix factorization and its probabilistic counterparts as they yield rich model...