3239 search results - page 330 / 648 » A Logical Process Calculus |
135
click to vote
PADS
2004
ACM
15 years 10 months ago
2004
ACM
With Parallel and Discrete Event Simulation (PDES) techniques, the runtime performance of detailed wireless network simulation can be improved significantly without compromising ...
228
click to vote
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
137
click to vote
EACL
2003
ACL Anthology
15 years 5 months ago
2003
ACL Anthology
This paper provides a method for generating compact and efficient code to implement the enforcement of a description in typed feature logic. It does so by viewing information abo...
195
click to vote
ICLP
2011
Springer
14 years 8 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
139
click to vote
DAS
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we present an integrated approach for semantic structure extraction in document images. Document images are initially processed to extract both their layout and logic...