2599 search results - page 324 / 520 » An Operational Semantics for Knowledge Bases |
173
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
—As the 193nm lithography is likely to be used for 45nm and even 32nm processes, much more stringent requirement will be posed on Optical Proximity Correction (OPC) technologies....
170
click to vote
MYCRYPT
2005
Springer
16 years 19 hour ago
2005
Springer
In this paper we produce a practical and efficient algorithm to find a decomposition of type n = k i=1 2si 3ti , si, ti ∈ N ∪ {0} with k ≤ c + o(1) ¡ log n log log n ....
215
click to vote
ICTAI
2007
IEEE
16 years 25 days ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
201
click to vote
CRV
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents an integrated modeling system capable of generating coloured three dimensional representations of a scene observed from multiple viewpoints. Emphasis is given ...
199
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
One of the crucial actions any reasoning system must undertake is the updating of its Knowledge Base (KB). This problem is usually referred to as the problem of belief change. The...