2646 search results - page 66 / 530 » Local Type Inference |
120
Voted
ICASSP
2007
IEEE
15 years 2 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...
83
Voted
ENTCS
2007
15 years 16 days 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...
101
Voted
IDEAL
2010
Springer
14 years 11 months 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...
118
click to vote
ITP
2010
15 years 4 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...
98
Voted
ML
2008
ACM
15 years 16 days 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...