Sciweavers

8671 search results - page 354 / 1735
» A generator for hierarchical problems
Sort
View
CP
2007
Springer
16 years 29 days ago
Propagation = Lazy Clause Generation
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...
Olga Ohrimenko, Peter J. Stuckey, Michael Codish
3DPVT
2006
IEEE
176views Visualization» more  3DPVT 2006»
16 years 26 days ago
Belief Propagation for Panorama Generation
We present an algorithm for generating panoramic images of complex scenes from a multi-sensor camera. We further present a programmable graphics hardware implementation to process...
Alan Brunton, Chang Shu
BIRTHDAY
2005
Springer
16 years 10 days ago
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
David Harel, Hillel Kugler, Amir Pnueli
COORDINATION
2005
Springer
16 years 10 days ago
Preserving Architectural Properties in Multithreaded Code Generation
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
Marco Bernardo, Edoardo Bontà
KES
2005
Springer
16 years 8 days ago
Computerized Support for Idea Generation During Knowledge Creating Process
In daily life, people spend a lot of time in group activities, such as communication, debate, collaboration and consensus achieving for problem solving where creative ideas are exp...
Xijin Tang, Yijun Liu, Wen Zhang