22698 search results - page 3948 / 4540 » Modeling in Software Engineering |
218
click to vote
AAAI
1996
15 years 8 months ago
1996
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect incons...
220
click to vote
GRAPHICSINTERFACE
1996
15 years 8 months ago
1996
Paper, sheet metal, and many other materials are approximately unstretchable. The surfaces obtained by bending these materials can be flattened onto a plane without stretching or ...
172
click to vote
WSC
1989
15 years 8 months ago
1989
Proof Animation™ is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsiz...
232
click to vote
DICTA
2009
15 years 8 months ago
2009
Image data is as common as textual data in this digital world. There is an urgent demand of image management tools as efficient as those text search engines. Decades of research on...
200
click to vote
SMA
2010
ACM
15 years 7 months ago
2010
ACM
Designing a fixture layout of an object can be reduced to computing the largest simplex and the resulting simplex is classified using the radius of the largest inscribed ball cent...