13383 search results - page 2282 / 2677 » Abstractions from proofs |
117
Voted
WIOPT
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--We consider the problem of delay-efficient scheduling in general multihop networks. While the class of max-weight type algorithms are known to be throughput optimal for t...
148
click to vote
WOTE
2010
15 years 2 months ago
2010
Abstract. While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadeq...
146
click to vote
ACIVS
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Following a review of current hidden objects detection techniques in a range of security applications, a strategy based on an innovative, low-cost photometric stereo tech...
166
click to vote
BIBM
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--Medical image segmentation has become an essential technique in clinical and research-oriented applications. Because manual segmentation methods are tedious, and fully au...
137
Voted
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract-- Local convergence is a limitation of many optimization approaches for multimodal functions. For hybrid model learning, this can mean a compromise in accuracy. We develop...