1269 search results - page 164 / 254 » Pi-Calculus in Logical Form |
IMSCCS
2006
IEEE
14 years 3 months ago
2006
IEEE
The application of component repository has become more and more popular in the practice of component-based software development. Most of the repositories are physically isolated ...
ICDAR
2005
IEEE
14 years 3 months ago
2005
IEEE
This article presents Xed, a reverse engineering tool for PDF documents, which extracts the original document layout structure. Xed mixes electronic extraction methods with state-...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...
ICDT
2005
ACM
14 years 3 months ago
2005
ACM
We give two sufficient conditions on XPath like languages for having first order expressivity, meaning that every first order definable set of paths in an ordered node-labeled t...
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
This article summarizes two experiments utilizing building blocks to find analog electronic circuits on a CMOS Field Programmable Transistor Array (FPTA). The FPTA features 256 pr...