1527 search results - page 166 / 306 » From Requirements to Design: Formalizing the Key Steps |
160
click to vote
ICA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This paper presents crystal-MUSIC, a method for DOA estimation of multiple sources in the presence of diffuse noise. MUSIC is well known as a method for the estimation of...
188
click to vote
JAR
2002
15 years 6 months ago
2002
Abstract. Can theorem proving in mathematical logic be addressed by classical mathematical techniques like the calculus of variations? The answer is surprisingly in the affirmative...
321
click to vote
KDD
2008
ACM
16 years 7 months ago
2008
ACM
Many time series prediction methods have focused on single step or short term prediction problems due to the inherent difficulty in controlling the propagation of errors from one ...
153
click to vote
ICCD
2007
IEEE
16 years 3 months ago
2007
IEEE
Building fully synchronous VLSI circuits is becoming less viable as circuit geometries evolve. However, before the adoption of purely asynchronous strategies in VLSI design, globa...
178
click to vote
LCTRTS
2001
Springer
15 years 11 months ago
2001
Springer
1 COTS (commercial off-the-shelf) devices are capable of executing powerful, distributed algorithms. Very large, adaptive systems can be created by simply integrating these devices...