3311 search results - page 419 / 663 » Deductive Object Programming |
132
Voted
FMOODS
2008
15 years 5 months ago
2008
This paper proposes a semantics-based automatic null pointer analysis for inferring non-null annotations of fields in objectoriented programs. The analysis is formulated for a mini...
160
click to vote
IJIT
2004
15 years 5 months ago
2004
This paper presents a semi-supervised learning algorithm called Iterative-Cross Training (ICT) to solve the Web pages classification problems. We apply Inductive logic programming ...
160
click to vote
OMER
2001
15 years 5 months ago
2001
: This paper shows how architecture description languages can be tailored to the design of embedded automotive control software. Furthermore, graphical modeling means are put in an...
85
Voted
WSC
2004
15 years 5 months ago
2004
This paper describes the validation of the Enlisted Grade model gradebreaks and describes a current application of simulation in operations research. The Enlisted Grade model is p...
152
Voted
PSSS
2003
15 years 5 months ago
2003
The semantic web is a promising application-area for the Prolog programming language for its non-determinism and patternmatching. In this paper we outline an infrastructure for loa...