Sciweavers

9503 search results - page 1563 / 1901
» Authenticated System Calls
Sort
View
AAAI
2008
15 years 9 months ago
Horn Complements: Towards Horn-to-Horn Belief Revision
Horn-to-Horn belief revision asks for the revision of a Horn knowledge base such that the revised knowledge base is also Horn. Horn knowledge bases are important whenever one is c...
Marina Langlois, Robert H. Sloan, Balázs Sz...
FLAIRS
2007
15 years 9 months ago
Probabilistic Knowledge Processing and Remaining Uncertainty
Information is indispensable in preparing economic decisions purposefully. In this paper knowledge is represented by a probability distribution. Knowledge acquisition is realized ...
Elmar Reucher, Friedhelm Kulmann
WSC
2007
15 years 9 months ago
Agile optimization for coercion
Coercion combines flexible points, semi-automated optimization and expert guided manual code modification for adapting simulations to meet new requirements. Coercion can improve s...
Lingjia Tang, Paul F. Reynolds Jr.
WSC
2008
15 years 9 months ago
Automating the constraining process
The typical approach to finding minimum levels of resources that still allow support and operational performance goals to be met for military aircraft is based on a manual trial-a...
Joel J. Luna
ACMDIS
2008
ACM
15 years 8 months ago
Zebra: exploring users' engagement in fieldwork
Participatory Design is a design approach that provides a popular set of techniques for designing interactive systems in collaboration with end-users. Technology probes are one of...
Yann Riche, Matthew Simpson, Stephen Viller
« Prev « First page 1563 / 1901 Last » Next »