8828 search results - page 272 / 1766 » Formal methods in practice |
175
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—In [1], we have proposed a novel cross-layer scheme based on resolution adaptive ADCs and fountain codes for the OFDM systems to lower the power consumption in ADCs. The simulat...
164
click to vote
FGR
2008
IEEE
16 years 1 months ago
2008
IEEE
We examine in detail some properties of gesture recognition models which utilize a reduced number of parameters and lower algorithmic complexity compared to traditional hidden Mar...
157
click to vote
CIE
2007
Springer
16 years 25 days ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
162
click to vote
SIGCSE
2006
ACM
16 years 18 days ago
2006
ACM
Case-based analysis is a bottom-up methodology for ethical reasoning. In a teaching environment, it can be a useful alternative to top-down methods, such as Kantianism, utilitaria...
187
click to vote
ICN
2005
Springer
16 years 5 days ago
2005
Springer
Proposed by Maurer the bounded storage model has received much academic attention in the recent years. Perhaps the main reason for this attention is that the model facilitates a un...