1264 search results - page 177 / 253 » The framework approach for constraint satisfaction |
171
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
146
click to vote
MMSP
2008
IEEE
16 years 22 days ago
2008
IEEE
—Embedded speaker recognition in mobile devices could involve several ergonomic constraints and a limited amount of computing resources. Even if they have proved their efficienc...
160
click to vote
IH
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. A constraint-based watermarking technique has been introduced for the protection of intellectual properties such as hardware, software, algorithms, and solutions to hard ...
175
click to vote
TCAD
2002
15 years 6 months ago
2002
In this paper, we propose a new approach for VLSI interconnect global routing that can optimize both congestion and delay, which are often competing objectives. Our approach provi...
158
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
Bioluminescence imaging (BLI) offers the possibility to study and image biology at molecular scale in small animals with applications in oncology or gene expression studies. Here ...