2702 search results - page 241 / 541 » Practically Applicable Formal Methods |
150
click to vote
TKDE
2012
13 years 4 months ago
2012
Feature selection is fundamental to knowledge discovery from massive amount of high-dimensional data. In an effort to establish theoretical justification for feature selection al...
124
click to vote
WISA
2009
Springer
15 years 9 months ago
2009
Springer
Power analysis has shown to be successful in breaking symmetric cryptographic algorithms implemented on low resource devices. Prompted by the breaking of many protected implementat...
144
click to vote
WWW
2003
ACM
16 years 3 months ago
2003
ACM
More and more resources are becoming available on the Web, and there is a growing need for infrastructures that, based on advertised descriptions, are able to semantically match d...
123
click to vote
CAV
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
126
click to vote
ENTCS
2006
15 years 2 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...