3394 search results - page 265 / 679 » A Modal Model of Memory |
154
click to vote
IEEEPACT
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a framework for analyzing the performance of multithreaded programs using a model called a constraint graph. We review previous constraint graph definitions fo...
164
click to vote
ICIP
2009
IEEE
16 years 6 months ago
2009
IEEE
In this paper we describe a multi-modal ear and face biometric system. The system is comprised of two components: a 3D ear recognition component and a 2D face recognition componen...
182
click to vote
IANDC
2011
15 years 18 days ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
154
click to vote
WSC
2007
15 years 8 months ago
2007
In this paper we depart from a set of simple assumptions regarding the behavior of a pool of customers associated with an enterprise’s contact center. We assume that the pool of...
162
click to vote
STACS
2010
Springer
16 years 18 days ago
2010
Springer
One-counter processes (OCPs) are pushdown processes which operate only on a unary stack alphabet. We study the computational complexity of model checking computation tree logic (CT...