Sciweavers

15754 search results - page 112 / 3151
» Programs are Knowledge Bases
Sort
View
PLDI
2009
ACM
15 years 8 months ago
Flow-sensitive semantics for dynamic information flow policies
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
Niklas Broberg, David Sands
POPL
2010
ACM
15 years 6 months ago
Reconfigurable asynchronous logic automata: (RALA)
Computer science has served to insulate programs and programmers from knowledge of the underlying mechanisms used to manipulate information, however this fiction is increasingly h...
Neil Gershenfeld, David Dalrymple, Kailiang Chen, ...
IJAC
2011
14 years 11 months ago
Bringing the Everyday Life into Engineering Education
— To successfully design and engineer solutions for today’s and tomorrow’s rapidly changing and expanding global contexts, in which people are confronted with new opportuniti...
Gert Pasman, Ingrid Mulder
ECSQARU
2007
Springer
15 years 8 months ago
Approaches to Constructing a Stratified Merged Knowledge Base
Many merging operators have been proposed to merge either flat or stratified knowledge bases. The result of merging by such an operator is a flat base (or a set of models of the me...
Anbu Yue, Weiru Liu, Anthony Hunter
FLAIRS
2007
15 years 6 months ago
Compiling Experience into Knowledge
Typical application fields of Knowledge Based Systems are a usually characterized by having human expertise as the only one source to specify their desired behavior. Their design...
Rainer Knauf