2225 search results - page 28 / 445 » Logical Structures in the Lexicon |
168
click to vote
IJIT
2004
15 years 7 months ago
2004
This paper presents a new approach for automatic document categorization. Exploiting the logical structure of the document, our approach assigns a HTML document to one or more cate...
159
click to vote
DAC
2010
ACM
15 years 7 months ago
2010
ACM
This work proposes a new problem of identifying large and tangled logic structures in a synthesized netlist. Large groups of cells that are highly interconnected to each other can...
155
click to vote
TABLEAUX
2007
Springer
16 years 2 days ago
2007
Springer
We construct a sound, complete, and terminating tableau system for the interval temporal logic D · interpreted in interval structures over dense linear orderings endowed with stri...
156
click to vote
DEXAW
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents a first step towards a security model that defines access control for logical document structures. el benefits from roles to abstract from users and from secur...
180
click to vote
LICS
2008
IEEE
16 years 10 days ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...