1778 search results - page 220 / 356 » Building a Knowledge Base: An Example |
99
Voted
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
109
Voted
AGTIVE
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. This paper deals with knowledge-based computer aided design. A novel method giving additional support for conceptual design is presented. In this method, a designer firs...
117
Voted
LOPSTR
2001
Springer
15 years 5 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...
101
click to vote
VISUALIZATION
1997
IEEE
15 years 5 months ago
1997
IEEE
We present an image synthesis methodology and a system built around it. Given a sparse set of photographs taken from unknown viewpoints, the system generates images from new, diff...
107
Voted
COLT
1994
Springer
15 years 4 months ago
1994
Springer
In this paper we introduce and investigate a mathematically rigorous theory of learning curves that is based on ideas from statistical mechanics. The advantage of our theory over ...