3495 search results - page 351 / 699 » On the random satisfiable process |
164
click to vote
HASE
2007
IEEE
16 years 1 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
199
click to vote
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
A methodology for complexity scalable video encoding and complexity control within the framework of the H.264/AVC video encoder is presented. To yield good rate-distortion perform...
180
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we address the problem of building a system of autonomous agents for a complex environment, in our case, a museum with many visitors. Visitors may have varying pref...
193
click to vote
WDAG
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
189
click to vote
ACMDIS
2006
ACM
16 years 25 days ago
2006
ACM
Conceptual design dominates the early stages of most creative design processes. During these stages, the designer makes important decisions about the parameters of a model that ar...