7393 search results - page 495 / 1479 » Synthesis-for-testability using transformations |
177
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
3D MRI of the upper airway has provided valuable insights into vocal tract shaping and data for the modeling of speech production. Small movements of articulators can lead to larg...
184
click to vote
WISE
2007
Springer
16 years 22 days ago
2007
Springer
Modeling in systems biology is concerned with using experimental information and mathematical methods to build quantitative models at different biological scales. This requires int...
169
click to vote
CCS
2007
ACM
16 years 20 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
161
click to vote
FROCOS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...
207
click to vote
PREMI
2007
Springer
16 years 18 days ago
2007
Springer
We address the issue of segmenting multiple textured objects in presence of a background texture. The proposed technique is based on Geodesic Active Contour (GAC) and can segment m...