3082 search results - page 399 / 617 » Deviation Analysis: A New Use of Model Checking |
165
click to vote
SIGGRAPH
1999
ACM
15 years 10 months ago
1999
ACM
We describe a new approach for creating concise high-level generative models from range images or other approximate representations of real objects. Using data from a variety of a...
189
click to vote
DMDW
2001
15 years 7 months ago
2001
In this paper we address the issue of conceptual modeling of data used in multidimensional analysis. We view the problem from the end-user point of view and we describe a set of r...
159
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
The phenomenon of anticipatory coarticulation provides a basis for the observed asynchrony between the acoustic and visual onsets of phones in certain linguistic contexts. This ty...
178
click to vote
TCAD
2008
15 years 6 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
170
click to vote
JCIT
2007
15 years 6 months ago
2007
Business Process Reengineering is a reverse design process that allows for radical improvement in quality, service, cycle times, productivity and cost for a specific market or cus...