4029 search results - page 494 / 806 » Reconfigurable Systems in Education |
195
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Regular expressions (REs), because of their succinctness and clear syntax, are the common choice to represent regular languages. However, efficient pattern matching or word recogni...
213
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Rapid progress in microelectromechanical system (MEMS) and radio frequency (RF) design has enabled the development of low-power, inexpensive, and network-enabled microsensors. The...
212
Voted
CORR
2008
Springer
15 years 7 months ago
2008
Springer
An algorithm is presented for the computation of the topology of a non-reduced space curve defined as the intersection of two implicit algebraic surfaces. It computes a Piecewise ...
180
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract We investigate here a new version of the Calculus of Inductive Constructions (CIC) on which the proof assistant Coq is based: the Calculus of Congruent Inductive Construct...
185
Voted
CORR
2008
Springer
15 years 7 months ago
2008
Springer
In this paper the performance limits and design principles of rateless codes over fading channels are studied. The diversity-multiplexing tradeoff (DMT) is used to analyze the syst...