1892 search results - page 192 / 379 » Warren's Abstract Machine |
130
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
Abstract— Many of today’s data-intensive applications manipulate disk-resident data sets. As a result, their overall behavior is tightly coupled with their disk performance. Un...
133
click to vote
ML
2006
ACM
15 years 10 months ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
126
click to vote
ACII
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper presents research using full body skeletal movements captured using video-based sensor technology developed by Vicon Motion Systems, to train a machine to iden...
128
click to vote
COLT
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. There has been growing interest in practice in using unlabeled data together with labeled data in machine learning, and a number of different approaches have been develo...
123
click to vote
HPCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Numerical simulations can be the key to the thorough understanding of the multi-dimensional nature of transient detonation waves. But the accurate approximation of realis...