3572 search results - page 231 / 715 » Nominal Logic Programming |
170
click to vote
DLOG
2008
15 years 9 months ago
2008
We identify the complexity of (finite model) reasoning in the DL SROIQ to be N2ExpTime-complete. We also prove that (finite model) reasoning in the DL SR--a fragment of SROIQ witho...
173
click to vote
NAACL
2004
15 years 8 months ago
2004
Entity detection and tracking is a relatively new addition to the repertoire of natural language tasks. In this paper, we present a statistical language-independent framework for ...
149
click to vote
ACSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
Portable storage devices, such as key-chain USB devices, are ubiquitous. These devices are often used with impunity, with users repeatedly using the same storage device in open co...
186
click to vote
ISQED
2011
IEEE
14 years 10 months ago
2011
IEEE
With continuous scaling of transistors in each technology generation, NBTI and Process Variation (PV) have become very important silicon reliability problems for the microprocesso...
198
click to vote
KRDB
2003
15 years 8 months ago
2003
The Polylog framework is designed to provide a language for efficiently automating complex queries of information represented in multiple formats. A Polylog program contains a set...