304 search results - page 19 / 61 » Mathematical Models of Computational and Combinatorial Struc... |
113
Voted
CCCG
2008
15 years 5 months ago
2008
This paper builds a general mathematical and algorithmic theory for balloon-twisting structures, from balloon animals to balloon polyhedra, by modeling their underlying graphs (ed...
152
Voted
GLVLSI
2000
IEEE
15 years 8 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
150
Voted
JUCS
2010
14 years 10 months ago
2010
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...
173
Voted
ANOR
2010
15 years 2 months ago
2010
Operations Research is probably one of the most successful fields of applied mathematics used in Economics, Physics, Chemistry, almost everywhere onehastoanalyzehugeamountsofdata.L...
149
Voted
NC
2010
15 years 2 months ago
2010
My main objective is to point out a fundamental weakness in the conventional conception of computation and suggest a promising way out. This weakness is directly related to a gross...