1269 search results - page 10 / 254 » Pi-Calculus in Logical Form |
EMNLP
2011
12 years 9 months ago
2011
IJDAR
2002
13 years 9 months ago
2002
Abstract. In this paper, we present a logical representation for form documents to be used for identification and retrieval. A hierarchical structure is proposed to represent the s...
VTS
2005
IEEE
14 years 3 months ago
2005
IEEE
— A closed-form model for simulation and analysis of voltage transients caused by single-event upsets (SEUs) in logic circuits is described. A linear RC model, derived using a SP...
IJDAR
2006
13 years 9 months ago
2006
Structure analysis of table form documents is an important issue because a printed document and even an electronic document do not provide logical structural information but merely...
CADE
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. The rank/activity restriction on binary resolution is introduced. It accepts only a single derivation tree from a large equivalence class of such trees. The equivalence c...