1892 search results - page 192 / 379 » Warren's Abstract Machine |
172
click to vote
ASPDAC
2006
ACM
16 years 13 days 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...
164
click to vote
ML
2006
ACM
16 years 13 days 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 ...
169
click to vote
ACII
2005
Springer
16 years 21 hour 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...
151
click to vote
COLT
2005
Springer
16 years 11 hour 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...
149
click to vote
HPCC
2005
Springer
15 years 12 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...