Sciweavers

2069 search results - page 341 / 414
» Synthesizing
Sort
View
173
Voted
INFSOF
2000
91views more  INFSOF 2000»
15 years 5 months ago
An operational approach to the design of workflow systems
We construct models as an aid to our thought process. A particular class of models, operational models, can be used for simulation and prototyping. The Opj modeling language is su...
Rakesh Agarwal, Giorgio Bruno, Marco Torchiano
ENTCS
2007
126views more  ENTCS 2007»
15 years 5 months ago
Context Dependent Procedures and Computed Types in -eriFun
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
Andreas Schlosser, Christoph Walther, Michael Gond...
AIEDAM
1998
87views more  AIEDAM 1998»
15 years 5 months ago
Learning to set up numerical optimizations of engineering designs
Gradient-based numerical optimization of complex engineering designs offers the promise of rapidly producing better designs. However, such methods generally assume that the object...
Mark Schwabacher, Thomas Ellman, Haym Hirsh
183
Voted
AAMAS
1999
Springer
15 years 5 months ago
Verifying Compliance with Commitment Protocols
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
Mahadevan Venkatraman, Munindar P. Singh
IJCV
2002
102views more  IJCV 2002»
15 years 5 months ago
Relighting with the Reflected Irradiance Field: Representation, Sampling and Reconstruction
Image-based relighting (IBL) is a technique to change the illumination of an image-based object/scene. In this paper, we define a representation called the reflected irradiance fi...
Zhouchen Lin, Tien-Tsin Wong, Heung-Yeung Shum