6456 search results - page 239 / 1292 » Constraint Solving on Terms |
180
click to vote
PVLDB
2010
15 years 5 months ago
2010
Many data-management applications require integrating data from a variety of sources, where different sources may refer to the same real-world entity in different ways and some ma...
212
click to vote
ISLPED
2006
ACM
16 years 15 days ago
2006
ACM
As semiconductor manufacturing technology scales to smaller device sizes, the power consumption of clocked digital ICs begins to increase. Dynamic voltage and frequency scaling (D...
300
click to vote
ICIP
1994
IEEE
15 years 10 months ago
1994
IEEE
The two main plagues of image restoration are oscillations and smoothing. Traditional image restoration techniques prevent parasitic oscillations by resorting to smooth regulariza...
159
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
This paper is concerned with the optimal control of linear discrete-time systems, which are subject to unknown but bounded state disturbances and mixed constraints on the state an...
157
click to vote
CPAIOR
2009
Springer
16 years 1 months ago
2009
Springer
An attractive mechanism to specify global constraints in rostering and other domains is via formal languages. For instance, the REGULAR and GRAMMAR constraints specify constraints ...