4117 search results - page 179 / 824 » On the Satisfiability of Complex Constraints |
179
click to vote
TWC
2008
15 years 6 months ago
2008
Wireless networks, and especially wireless sensor networks, have complexity and energy constraints, within which they must confront the challenging wireless fading environment. In ...
131
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Many science fiction novels have envisioned swarms of artificial microrobots capable of performing complex collective tasks. Unfortunately, today’s technological constraints ...
156
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
This paper describes the Korat tool for constraint-based generation of structurally complex test inputs for Java programs. Korat takes (1) an imperative predicate that specifies t...
151
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
It was recently shown that complex cepstrum can be effectively used for glottal flow estimation by separating the causal and anticausal components of speech. In order to guarantee...
187
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
We address unsupervised variational segmentation ofmulti-look complex polarimetric images using a Wishart observation model via level sets. The methods consists of minimizing a fu...