15754 search results - page 430 / 3151 » Programs are Knowledge Bases |
197
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...
166
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Several proposals have been put forward to support distributed agent cooperation in the Semantic Web, by allowing concepts and roles in one ontology be reused in another ontology. ...
193
click to vote
SDM
2008
SIAM
15 years 8 months ago
2008
SIAM
In this paper we explore private computation built on vector addition and its applications in privacypreserving data mining. Vector addition is a surprisingly general tool for imp...
185
click to vote
ICTAI
2006
IEEE
16 years 27 days ago
2006
IEEE
Computer programs that can be expressed in two or more dimensions are typically called visual programs. The underlying theories of visual programming languages involve graph gramm...
212
click to vote
AMAST
2008
Springer
15 years 9 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...