4057 search results - page 150 / 812 » Linear combination of transformations |
234
click to vote
POPL
2011
ACM
14 years 7 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
174
click to vote
ERCIMDL
2006
Springer
15 years 8 months ago
2006
Springer
A machine-learning and a string-matching approach to automated subject classification of text were compared, as to their performance, advantages and downsides. The former approach ...
175
click to vote
RIVF
2008
15 years 6 months ago
2008
Complex biological data generated from various experiments are stored in diverse data types in multiple datasets. By appropriately representing each biological dataset as a kernel ...
170
click to vote
JMLR
2008
15 years 5 months ago
2008
The computational complexities arising in motor control can be ameliorated through the use of a library of motor synergies. We present a new model, referred to as the Greedy Addit...
149
click to vote
ARTMED
2007
15 years 5 months ago
2007
Objective: This study investigates the use of automated pattern recognition methods on magnetic resonance data with the ultimate goal to assist clinicians in the diagnosis of brai...