1438 search results - page 164 / 288 » Relational aspects as tracematches |
178
click to vote
VL
1992
IEEE
15 years 10 months ago
1992
IEEE
If future electronic documents are to be truly useful, we must devise ways to automatically turn them into knowledgebases. In particular, we must be able to do this for diagrams. ...
185
click to vote
REX
1990
15 years 10 months ago
1990
Data Types William R. Cook Hewlett-Packard Laboratories 1501 Page Mill Road, Palo Alto, CA, 94303-0969, USA Abstract: This tutorial collects and elaborates arguments for distinguis...
171
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
-- Physical synthesis is a relatively young field in Electronic Design Automation. Many published optimizations for physical synthesis end up hurting the final result, often by neg...
158
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We address the issue of automatic invariant synthesis for sequential programs manipulating singly-linked lists carrying data over infinite data doe define for that a framework ba...
164
click to vote
GIR
2007
ACM
15 years 10 months ago
2007
ACM
DIGMAP is a project focused on historical digitized maps that will develop a set of Internet services based on reusable open-source software solutions. The main service will provi...