1713 search results - page 47 / 343 » Analysis of Procedure Splitability |
ICIP
2010
IEEE
13 years 7 months ago
2010
IEEE
Transformation manifolds are quite attractive for image analysis applications that require transformation invariance properties. The geometric structure of a transformation manifo...
BMEI
2009
IEEE
13 years 7 months ago
2009
IEEE
Novel approach for statistical inference in survival analysis based on factor or dichotomic variables is proposed. We are seeking for the most informative finitely linear combinat...
IJACTAICIT
2010
13 years 6 months ago
2010
The ample adoption of web services raises the challenging problem in web service discovery. Web service discovery is the process of finding appropriate services for the user defin...
CAV
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Modern termination provers rely on a safety checker to construct disjunctively well-founded transition invariants. This safety check is known to be the bottleneck of the ...
CAV
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...