6719 search results - page 1006 / 1344 » A Generalization of Automatic Sequences |
195
click to vote
ICS
2009
Tsinghua U.
16 years 2 months ago
2009
Tsinghua U.
Tiling is a crucial loop transformation for generating high performance code on modern architectures. Efficient generation of multilevel tiled code is essential for maximizing da...
224
click to vote
IPMI
2009
Springer
16 years 2 months ago
2009
Springer
In this paper, we present a manifold clustering method for the classification of fibers obtained from diffusion tensor images (DTI) of the human skeletal muscle. Using a linear ...
212
click to vote
IPSN
2009
Springer
16 years 2 months ago
2009
Springer
As the diversity of sensornet use cases increases, the combinations of environments and applications that will coexist will make custom engineering increasingly impractical. We in...
156
click to vote
PAKDD
2009
ACM
16 years 2 months ago
2009
ACM
Atypical behaviours are the basis of a valuable knowledge in domains related to security (e.g. fraud detection for credit card [1], cyber security [4] or safety of critical systems...
213
click to vote
TACAS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by in...