9736 search results - page 73 / 1948 » How Fast Can We Compute Products |
145
click to vote
MST
2007
15 years 4 months ago
2007
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Edalat–Potts in type theory. We choose the constructive type theory extended with coind...
158
click to vote
SGP
2007
15 years 7 months ago
2007
We present a method for extracting a hierarchical, rigid skeleton from a set of example poses. We then use this skeleton to not only reproduce the example poses, but create new de...
101
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— One of the important and efficient tools in system analysis is the analysis of responses to harmonic excitations. For linear systems the information on such responses is conta...
121
click to vote
DIS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The Minimum Description Length (MDL) is an informationtheoretic principle that can be used for model selection and other statistical inference tasks. One way to implement...
135
click to vote
SPLC
2010
15 years 3 months ago
2010
The design and operation of long-lived, sustainable systems (LSS) are hampered by limited support for change over time and limited preservation of system knowledge. The solution we...