Sciweavers

4359 search results - page 739 / 872
» Automated Pipeline Design
Sort
View
SARA
2007
Springer
15 years 4 months ago
Generating Implied Boolean Constraints Via Singleton Consistency
Though there exist some rules of thumb for design of good models for solving constraint satisfaction problems, the modeling process still belongs more to art than to science. Moreo...
Roman Barták
SOFSEM
2007
Springer
15 years 4 months ago
Improved Processing of Textual Use Cases: Deriving Behavior Specifications
The requirements for a system are often specified as textual use cases. Although they are written in natural language, the simple and uniform sentence structure used makes automate...
Jaroslav Drazan, Vladimir Mencl
3DPVT
2006
IEEE
160views Visualization» more  3DPVT 2006»
15 years 4 months ago
Geometry Refinement of 3D Surfaces Using Kriging
3D imaging is a popular method for acquiring accurate models for a variety of applications. However, the size of the geometric features that can be modeled in this manner is depen...
Brad Grinstead, Andreas Koschan, Mongi A. Abidi
ASWEC
2006
IEEE
15 years 4 months ago
An agent-oriented approach to change propagation in software evolution
Software maintenance and evolution are inevitable activities since almost all software that is useful and successful stimulates user-generated requests for change and improvements...
Khanh Hoa Dam, Michael Winikoff, Lin Padgham
DATE
2006
IEEE
133views Hardware» more  DATE 2006»
15 years 4 months ago
Automatic generation of operation tables for fast exploration of bypasses in embedded processors
Customizing the bypasses in an embedded processor uncovers valuable trade-offs between the power, performance and the cost of the processor. Meaningful exploration of bypasses re...
Sanghyun Park, Eugene Earlie, Aviral Shrivastava, ...