Sciweavers

1081 search results - page 47 / 217
» Type Inference of SELF
Sort
View
ILP
2007
Springer
15 years 10 months ago
Bias/Variance Analysis for Relational Domains
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...
Jennifer Neville, David Jensen
ICMCS
2006
IEEE
115views Multimedia» more  ICMCS 2006»
15 years 10 months ago
Evaluation of Self-Editing Based on Behaviors-for-Attention for Desktop Manipulation Videos
In this paper, we discuss a user interface issue with regard to automatic video editing based on the speaker’s intentions. In our experiments, the subjects used previously devel...
Motoyuki Ozeki, Yuichi Nakamura
WETICE
2000
IEEE
15 years 8 months ago
Secure Self-Certified COTS
With the advent and the rising popularity of networks, Internet, intranets and distributed systems, security is becoming one of the major concerns in IT research. An increasing nu...
Mourad Debbabi, E. Giasson, Béchir Ktari, F...
PLDI
2003
ACM
15 years 9 months ago
Checking and inferring local non-aliasing
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
Alexander Aiken, Jeffrey S. Foster, John Kodumal, ...
141
Voted
JFP
2000
163views more  JFP 2000»
15 years 3 months ago
Automatic useless-code elimination for HOT functional programs
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
Ferruccio Damiani, Paola Giannini