20441 search results - page 3715 / 4089 » Locally Computable Structures |
138
click to vote
ICALP
1990
Springer
15 years 8 months ago
1990
Springer
Any tree can be represented in a max/ma//y compact form as a directed acyclic graph where common subtrees are factored and shared, being represented only once. Such a compaction ca...
124
click to vote
SP
1989
IEEE
15 years 8 months ago
1989
IEEE
In early November 1988 the Internet, a collection of networks consisting of 60,000 host computers implementing the TCP/IP protocol suite, was attacked by a virus, a programwhich b...
136
click to vote
ARC
2007
Springer
15 years 8 months ago
2007
Springer
Many important algorithms in computational biology and related subjects rely on the ability to extract and to identify sub-graphs of larger graphs; an example is to find common fun...
144
click to vote
ASAP
2007
IEEE
15 years 8 months ago
2007
IEEE
Software-based, fine-grain control flow integrity (CFI) validation technique has been proposed to enforce control flow integrity of program execution. By validating every indirect...
150
click to vote
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents an approach for constructing improved visual representations of high dimensional objective spaces using virtual reality. These spaces arise from the solution of...