1122 search results - page 101 / 225 » Behavioral Extensions of Institutions |
CAV
2012
Springer
13 years 11 days ago
2012
Springer
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...
CVPR
2007
IEEE
15 years 12 months ago
2007
IEEE
Nonnegative tensor factorization (NTF) is a recent multiway (multilinear) extension of nonnegative matrix factorization (NMF), where nonnegativity constraints are imposed on the C...
ICIP
2006
IEEE
15 years 11 months ago
2006
IEEE
Wavelet domain statistical modeling of images has focused on modeling the peaked heavy-tailed behavior of the marginal distribution and on modeling the dependencies between coeffi...
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we analyze the problem of motion estimation from a sequence of stereo images. We formulate both the differential and discrete approaches of two methods. The differen...
WWW
2008
ACM
15 years 10 months ago
2008
ACM
While WS-BPEL is emerging as the prominent language for modeling executable business processes, it provides limited support for designing flexible processes. An important need of ...