128 search results - page 4 / 26 » Forward Analysis of Depth-Bounded Processes |
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
In this work we introduce the dual frame operator relative to the aliasing compensated frequency warping operator for nonsmooth warping functions. Except for approximation errors,...
APWEB
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Business process modeling is a key technology for crossorganizational business process integration. However, current modeling methods always fall short in describing comp...
ICIP
2009
IEEE
14 years 8 months ago
2009
IEEE
Recently morphological diversity and sparsity have emerged as new and effective sources of diversity for Blind Source Separation. Based on these new concepts, novel methods such a...
CP
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. This paper takes a fresh look at the application of interval analysis to ordinary differential equations and studies how consistency techniques can help address the accur...
ACL
2006
13 years 8 months ago
2006
There are some sorts of `Preposition + Noun' combinations in Farsi that apparently a Prepositional Phrase almost behaves as Compound Prepositions. As they are not completely ...