697 search results - page 34 / 140 » Decomposition Structures for Event-B |
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a method for decomposing an image into its intrinsic reflectance and shading components. Different from previous work, our method examines texture information to obtain...
106
click to vote
ACSD
2005
IEEE
15 years 5 months ago
2005
IEEE
Signal Transition Graphs (STGs) are a version of Petri nets for the specification of asynchronous circuit behaviour. It has been suggested to decompose such a specification as a...
COSIT
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. The paper proposes a novel approach for a scale-dependent geometric simplification of 3D building models that are an integral part of virtual cities. In contrast to real-...
UAI
2008
15 years 1 months ago
2008
We introduce Clique Matrices as an alternative representation of undirected graphs, being a generalisation of the incidence matrix representation. Here we use clique matrices to d...
COR
2008
14 years 12 months ago
2008
Discrete-time optimal control problems arise naturally in many economic problems. Despite the rapid growth in computing power and new developments in the literature, many economic...