4930 search results - page 51 / 986 » Learning minimal abstractions |
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
82
Voted
RR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. It is well-knwon that crisp RDF is not suitable to represent vague information. Fuzzy RDF variants are emerging to overcome to this limitations. In this work we provide, ...
110
Voted
DAC
1994
ACM
15 years 4 months ago
1994
ACM
Abstract - We propose a new algorithm for the performancedriven interconnect design problem, based on alphabetic trees. The interconnect topology is determined in a global manner a...
78
Voted
ASPDAC
2004
ACM
15 years 4 months ago
2004
ACM
Abstract - We propose an integrated archltectural/physicdplanning approach named priority assignment optimization to mioimize the current surge in high performance power eifkient c...
98
Voted
COOPIS
2004
IEEE
15 years 4 months ago
2004
IEEE
Abstract. Distributed crawling has shown that it can overcome important limitations of the centralized crawling paradigm. However, the distributed nature of current distributed cra...