1321 search results - page 174 / 265 » Subtyping in Logical Form |
153
click to vote
GLVLSI
2006
IEEE
16 years 12 days ago
2006
IEEE
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
162
click to vote
IMSCCS
2006
IEEE
16 years 11 days 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 ...
161
click to vote
ICDAR
2005
IEEE
15 years 12 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-...
188
click to vote
ATAL
2005
Springer
15 years 12 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...
174
click to vote
ICDT
2005
ACM
15 years 12 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...