9405 search results - page 1091 / 1881 » Computing a Model of Set Theory |
184
click to vote
JGAA
2008
15 years 7 months ago
2008
Let G be a bipartite graph, and let e, i be two parallel convex curves; we study the question about whether G admits a planar straight-line drawing such that the vertices of one p...
203
click to vote
CVGIP
2002
15 years 7 months ago
2002
In this paper we describe a method for creating sharp features and trim regions on multiresolution subdivision surfaces along a set of user-defined curves. Operations such as engr...
205
Voted
PAMI
2002
15 years 7 months ago
2002
Factorization algorithms for recovering structure and motion from an image stream have many advantages, but they usually require a set of well tracked features. Such a set is in g...
219
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
215
click to vote
FORTE
2009
15 years 5 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...