2225 search results - page 28 / 445 » Logical Structures in the Lexicon |
159
Voted
IJIT
2004
15 years 6 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...
147
click to vote
DAC
2010
ACM
15 years 6 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...
143
click to vote
TABLEAUX
2007
Springer
15 years 11 months 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...
145
Voted
DEXAW
1998
IEEE
15 years 9 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...
168
Voted
LICS
2008
IEEE
15 years 11 months 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...