1661 search results - page 102 / 333 » Advanced carving techniques |
IJIT
2004
13 years 11 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
AAAI
2000
13 years 11 months ago
2000
Most CBR systems rely on a fixed library of cases, where each case consists of a set of facts specified in advance. This paper describes techniques for dynamically extracting case...
DEXAW
2010
IEEE
13 years 11 months ago
2010
IEEE
Internet is a huge source of information. Search engines have indexed much of this information and are able to extract the relevant webpages that are related to a given query. Howe...
DATE
2010
IEEE
13 years 10 months ago
2010
IEEE
—The advanced sampling and variance reduction techniques as efficient alternatives to the slow crude-MC method have recently been adopted for the analysis of timing yield in dig...
CAD
2005
Springer
13 years 10 months ago
2005
Springer
Virtual garment design and simulation involves a combination of a large range of techniques, involving mechanical simulation, collision detection, and user interface techniques fo...