3367 search results - page 405 / 674 » Incremental assignment problem |
123
click to vote
SAT
2007
Springer
15 years 10 months ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...
146
click to vote
SCALESPACE
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we address the problem of estimating mesoscale dynamics of atmospheric layers from satellite image sequences. Relying on a physically sound vertical decomposition of...
145
click to vote
SSD
2007
Springer
15 years 10 months ago
2007
Springer
The ability to continuously monitor the positions of mobile objects is important in many applications. While most past work has been set in Euclidean spaces, the mobile objects rel...
128
click to vote
AHS
2006
IEEE
15 years 10 months ago
2006
IEEE
Evolvable hardware refers to a self reconfigurable electronic circuit, where the circuit configuration is under the control of an evolutionary algorithm. Evolvable hardware has sh...
108
click to vote
APSEC
2006
IEEE
15 years 10 months ago
2006
IEEE
It is widely accepted that strong coupling such as common coupling should be used with caution among modules. Linux kernel is analyzed in terms of these common coupling instances ...