1072 search results - page 151 / 215 » Object-Oriented Type Inference |
120
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completen...
120
Voted
ECEASST
2008
15 years 3 months ago
2008
: The Resource Description Framework (RDF) is a standard developed by the World Wide Web Consortium (W3C) to facilitate the representation and exchange of structured (meta-)data in...
92
Voted
CSDA
2007
15 years 3 months ago
2007
Recently, there has been a considerable interest in finite mixture models with semi-/non-parametric component distributions. Identifiability of such model parameters is generall...
144
Voted
JMLR
2008
15 years 3 months ago
2008
The support vector machine has been successful in a variety of applications. Also on the theoretical front, statistical properties of the support vector machine have been studied ...
120
click to vote
JCST
2006
15 years 3 months ago
2006
:- A novel constraint-based fuzzy modeling approach is proposed. Features of the proposed model are enumerated as below. 1)The knowledge base of a constraint-based fuzzy model can ...