5232 search results - page 370 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
204
click to vote
WIDM
2003
ACM
16 years 17 hour ago
2003
ACM
At the present time, several shortcomings prevent the more effective use and more intense application of web information systems. Recent developments that are subsumed by the term...
178
click to vote
SIGSOFT
2006
ACM
16 years 7 months ago
2006
ACM
Models are increasingly recognized as an effective means for elaborating requirements and exploring designs. For complex systems, model building is far from an easy task. Efforts ...
194
click to vote
CMMR
2005
Springer
15 years 8 months ago
2005
Springer
Petri Nets are a formal tool for studying systems that are concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. They were used in a number of real-...
193
Voted
ENTCS
2008
15 years 6 months ago
2008
This paper presents an approach which supports verification and model-based adaptation of software compod services implemented using Windows Workflow Foundation (WF). First, we pr...
163
click to vote
SIGGRAPH
1999
ACM
15 years 11 months ago
1999
ACM
We introduce a new concept for accelerating realistic image synthesis algorithms. At the core of this procedure is a novel physical error metric that correctly predicts the percep...