8196 search results - page 473 / 1640 » Computational Modeling and Complexity Science |
201
click to vote
ALGORITHMICA
2007
15 years 7 months ago
2007
d abstract) Lars Arge1 , Darren Erik Vengroff2 , and Jeffrey Scott Vitter3 1 BRICS† , Department of Computer Science, University of Aarhus, Aarhus, Denmark 2 Department of Comp...
133
click to vote
SPIN
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. The most expensive operation in explicit state model checking is the hash computation required to store the explored states in a hash table. One way to reduce this comput...
168
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
This paper introduces a clever way of computing inner products between images in order to drastically reduce the computational complexity of fitting appearance models to images. T...
168
click to vote
HICSS
2005
IEEE
16 years 15 days ago
2005
IEEE
Over the past decades, large organisations have developed increasingly complex portfolios of information systems to support business processes. Maintenance and leveraging of these...
182
click to vote
DALT
2004
Springer
16 years 9 days ago
2004
Springer
Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as di...