2702 search results - page 51 / 541 » Practically Applicable Formal Methods |
114
click to vote
MTV
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract—Abstract models of analog/mixed-signal (AMS) circuits can be used for formal verification and system-level simulation. The difficulty of creating these models preclude...
FTCGV
2006
14 years 9 months ago
2006
We present a survey of recent methods for creating piecewise linear mappings between triangulations in 3D and simpler domains such as planar regions, simplicial complexes, and sph...
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
The Markov chain approximation method is an effective and widely used approach for computing optimal values and controls for stochastic systems. It was extended to nonlinear (and p...
PPCP
1993
15 years 1 months ago
1993
Use of constraint-based techniques in interactive graphics applications poses a variety of unique challenges to system implementors. This paper begins by describing how interface ...
ICDAR
2005
IEEE
15 years 3 months ago
2005
IEEE
A common practice in pattern recognition is to classify an unknown object by matching its feature vector with all the feature vectors stored in a database. When the number of clas...