Sciweavers

630 search results - page 26 / 126
» Symbolic Domain Decomposition
Sort
View
CP
2009
Springer
14 years 3 months ago
Why Cumulative Decomposition Is Not as Bad as It Sounds
Abstract. The global cumulative constraint was proposed for modelling cumulative resources in scheduling problems for finite domain (FD) propagation. Since that time a great deal ...
Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, M...
RE
2004
Springer
14 years 1 months ago
Architecture-driven Problem Decomposition
Jackson’s Problem Frames provide a means of analysing and decomposing problems. They emphasise the world outside the computer helping the developer to focus on the problem domai...
Lucia Rapanotti, Jon G. Hall, Michael Jackson, Bas...
ICASSP
2011
IEEE
13 years 6 days ago
Time domain reconstruction of spatial sound fields using compressed sensing
A novel technique for time domain spatial sound reproduction using compressed sensing is presented. The presented technique is based on the application of compressed sensing theor...
Andrew Wabnitz, Nicolas Epain, André van Sc...
FMCAD
2007
Springer
14 years 11 days ago
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
Mohamed H. Zaki, Ghiath Al Sammane, Sofiène...
IJCAI
1997
13 years 9 months ago
Reasoning Symbolically About Partially Matched Cases
In teaching case-based argumentation skills, the CATO program, an intelligent learning environment, guides students' assessments of partial matches between problems and cases...
Kevin D. Ashley, Vincent Aleven