1937 search results - page 204 / 388 » Rule Based Updates on Simple Knowledge Bases |
128
click to vote
PEPM
2007
ACM
15 years 10 months ago
2007
ACM
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...
127
Voted
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper addresses an XML-based design environment, which provides a powerful basis for the manipulation of hardware design descriptions. The contribution of the paper is a flex...
130
Voted
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
Ideally, enterprise administrators could specify fine-grain policies that drive how the underlying switches forward, drop, and measure traffic. However, existing techniques for fl...
146
click to vote
KES
2006
Springer
15 years 4 months ago
2006
Springer
Training of operators has become an important problem to be faced by power systems: updating knowledge and skills. An operator must comprehend the physical operation of the process...
162
click to vote
CRYPTO
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Let A and B denote cryptographic primitives. A (k, m)robust A-to-B combiner is a construction, which takes m implementations of primitive A as input, and yields an implem...