15754 search results - page 48 / 3151 » Programs are Knowledge Bases |
132
click to vote
LOPSTR
2001
Springer
15 years 7 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
111
click to vote
COMPSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
Knowledge-based software engineering enables a programmer to integrate rich semantics in the software development process. In this work, we show how an OWL/RDF knowledge base can ...
143
Voted
DSD
2010
IEEE
15 years 2 months ago
2010
IEEE
Due to the various devices composing a smart camera system, various languages have to be known by the designer (like HDL and C/C++). Most of vision applications designers are soft...
134
Voted
SIGUCCS
2000
ACM
15 years 6 months ago
2000
ACM
Anyone who works with student employees knows that while it is often difficult to train sufficiently, it is of the utmost importance to have a qualified, knowledgeable staff. We w...
175
click to vote
CSCLP
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...