1269 search results - page 10 / 254 » Pi-Calculus in Logical Form |
EMNLP
2011
13 years 11 months ago
2011
86
Voted
IJDAR
2002
14 years 11 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...
117
Voted
VTS
2005
IEEE
15 years 5 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...
83
Voted
IJDAR
2006
14 years 11 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...
87
Voted
CADE
1998
Springer
15 years 3 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...