1536 search results - page 264 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
SIGGRAPH
2010
ACM
14 years 3 days ago
2010
ACM
We present an algorithm designed for navigating around a performance that was filmed as a “casual” multi-view video collection: real-world footage captured on hand held camer...
AUSAI
2009
Springer
13 years 11 months ago
2009
Springer
Ensembles are often capable of greater prediction accuracy than any of their individual members. As a consequence of the diversity between individual base-learners, an ensemble wil...
JPDC
2006
13 years 7 months ago
2006
We describe a new suite of computational benchmarks that models applications featuring multiple levels of parallelism. Such parallelism is often available in realistic flow comput...
NECO
2007
13 years 7 months ago
2007
We propose a Markov process model for spike-frequency adapting neural ensembles which synthesizes existing mean-adaptation approaches, population density methods, and inhomogeneou...
MANSCI
2010
13 years 2 months ago
2010
We study a capacity sizing problem in a service system that is modeled as a single-class queue with multiple servers and where customers may renege while waiting for service. A sa...