Sciweavers

6762 search results - page 367 / 1353
» Multiple drafts model
Sort
View
ASP
2001
Springer
15 years 11 months ago
Computing stable models in parallel
Answer-set programming (ASP) solvers must handle difficult computational problems that are NP-hard. These solvers are in the worst case exponential and their scope of applicabilit...
Raphael A. Finkel, Victor W. Marek, Neil Moore, Mi...
180
Voted
SIGGRAPH
2000
ACM
15 years 11 months ago
Seamless texture mapping of subdivision surfaces by model pelting and texture blending
Subdivision surfaces solve numerous problems related to the geometry of character and animation models. However, unlike on parametrised surfaces there is no natural choice of text...
Dan Piponi, George Borshukov
ADC
2000
Springer
146views Database» more  ADC 2000»
15 years 11 months ago
Handling Dynamic Schema Change in Process Models
Workflow technology has emerged as an appropriate platform for consolidating the distributed information resources of an enterprise, promoting interoperability across cross-platfo...
Shazia W. Sadiq
EVOW
1999
Springer
15 years 11 months ago
Evolution of Digital Filters Using a Gate Array Model
The traditional paradigm for digital filter design is based on the concept of a linear difference equation with the output response being a weighted sum of signal samples with usua...
Julian F. Miller
ICCAD
1997
IEEE
94views Hardware» more  ICCAD 1997»
15 years 11 months ago
High-level scheduling model and control synthesis for a broad range of design applications
This paper presents a versatile scheduling model and an efficient control synthesis methodology which enables architectural (high-level) design/synthesis systems to seamlessly su...
Chih-Tung Chen, Kayhan Küçük&cced...