5600 search results - page 786 / 1120 » Synthesizing robust systems |
196
click to vote
TCOM
2010
15 years 5 months ago
2010
—In a wireless network, the use of cooperation among nodes can significantly improve capacity and robustness to fading. Node cooperation can take many forms, including relaying ...
187
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
180
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
We present in this paper a supervised approach for automatic detection of micro-calcifications. The system is based on learning the different morphology of the micro-calcification...
173
click to vote
IFIP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In Measurement Based Admission Control (MBAC), the decision of accepting or rejecting a new ow is based on measurements of the current trac situation. Since MBAC relies o...
181
click to vote
NAACL
2010
15 years 4 months ago
2010
Syntactic machine translation systems currently use word alignments to infer syntactic correspondences between the source and target languages. Instead, we propose an unsupervised...