Sciweavers

570 search results - page 77 / 114
» A Foundational View on Integration Problems
Sort
View
CORR
2010
Springer
154views Education» more  CORR 2010»
15 years 4 months ago
A Framework for Agile Development of Component-Based Applications
Agile development processes and component-based software architectures are two software engineering approaches that contribute to enable the rapid building and evolution of applic...
Guillaume Waignier, Estéban Duguepér...
IJCV
2006
107views more  IJCV 2006»
15 years 4 months ago
Image Deblurring in the Presence of Impulsive Noise
Consider the problem of image deblurring in the presence of impulsive noise. Standard image deconvolution methods rely on the Gaussian noise model and do not perform well with imp...
Leah Bar, Nahum Kiryati, Nir A. Sochen
MP
2006
110views more  MP 2006»
15 years 4 months ago
Decomposition and Dynamic Cut Generation in Integer Linear Programming
Decomposition algorithms such as Lagrangian relaxation and Dantzig-Wolfe decomposition are well-known methods that can be used to generate bounds for mixed-integer linear programmi...
Ted K. Ralphs, Matthew V. Galati
DAC
2004
ACM
16 years 5 months ago
A SAT-based algorithm for reparameterization in symbolic simulation
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening
MOBISYS
2007
ACM
16 years 3 months ago
Improving mobile database access over wide-area networks without degrading consistency
We report on the design, implementation, and evaluation of a system called Cedar that enables mobile database access with good performance over low-bandwidth networks. This is acc...
Niraj Tolia, Mahadev Satyanarayanan, Adam Wolbach