697 search results - page 18 / 140 » Decomposition Structures for Event-B |
ICDT
2007
ACM
15 years 5 months ago
2007
ACM
Abstract. Recent studies have proposed structural summary techniques for pathquery evaluation on semi-structured data sources. One major line of this research
112
click to vote
ANOR
2006
14 years 11 months ago
2006
This paper presents two contributions: A set of routines that manipulate instances of stochastic programming problems in order to make them more amenable for different solution ap...
VLSM
2005
Springer
15 years 5 months ago
2005
Springer
We present a mathematical and computational feasibility study of the variational convex decomposition of 2D vector fields into coherent structures and additively superposed flow ...
113
click to vote
CGF
2011
14 years 3 months ago
2011
The complexity and detail of geometric scenes that are used in today’s computer animated films and interactive games have reached a level where the manual creation by tradition...
103
click to vote
CC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n2 ...