8771 search results - page 432 / 1755 » Different by design |
188
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...
159
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Accumulation techniques were invented to transform functional programs, which intensively use append functions (like inefficient list reversal), into more efficient progr...
174
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
One of the difficulties in Language Recognition is the variability of the speech signal due to speakers and channels. If channel mismatch is too big and when different categories ...
243
click to vote
TCSV
2010
15 years 1 months ago
2010
A low complexity M-channel multiple description coding scheme is developed in this paper, in which each description carries one subset of the input with a higher bit rate and the r...
257
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
same level of system-level CAD support that is now commonplace in the IC industry.Recent advances in microfluidics are expected to lead to sensor systems for high-throughput bioche...