2646 search results - page 66 / 530 » Local Type Inference |
137
click to vote
ICASSP
2007
IEEE
15 years 4 months ago
2007
IEEE
Despite a lot of research efforts in sports video processing, little work was done in volleyball video analysis due to the high density of players on the court and the complicated...
ENTCS
2007
15 years 2 months ago
2007
We give a uniform type-systematic account of a number of optimizations and the underlying analyses for a bytecode-like stack-based low-level language, including analysis soundness...
119
click to vote
IDEAL
2010
Springer
15 years 29 days ago
2010
Springer
Intrusion detection in computer networks faces the problem of a large number of both false alarms and unrecognized attacks. To improve the precision of detection, various machine l...
130
Voted
ITP
2010
15 years 6 months ago
2010
Abstract. In order to make existing formalizations available for settheoretic developments, we present an automated translation of theories from Isabelle/HOL to Isabelle/ZF. This c...
116
click to vote
ML
2008
ACM
15 years 2 months ago
2008
ACM
Bias/variance analysis is a useful tool for investigating the performance of machine learning algorithms. Conventional analysis decomposes loss into errors due to aspects of the le...