2488 search results - page 472 / 498 » An improvement in formal verification |
110
click to vote
DAC
2005
ACM
16 years 2 months ago
2005
ACM
As Si CMOS devices are scaled down into the nanoscale regime, current computer architecture approaches are reaching their practical limits. Future nano-architectures will confront...
125
click to vote
WWW
2008
ACM
16 years 1 months ago
2008
ACM
In this paper we present a new document representation model based on implicit user feedback obtained from search engine queries. The main objective of this model is to achieve be...
WWW
2007
ACM
16 years 1 months ago
2007
ACM
Knowledge artifacts that have been labeled as ontologies have many different qualities and intended outcomes. This is particularly true of bio-ontologies where high demand has led...
WWW
2007
ACM
16 years 1 months ago
2007
ACM
Discovering mappings between concept hierarchies is widely regarded as one of the hardest and most urgent problems facing the Semantic Web. The problem is even harder in domains w...
222
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...