5090 search results - page 810 / 1018 » Constructing Strategies for Programming |
147
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
Today's processors provide a rich source of statistical information on application execution through hardware counters. In this paper, we explore the utilization of these sta...
200
click to vote
PDCN
2004
15 years 8 months ago
2004
We present a family of methods for speeding up distributed locks by exploiting the uneven distribution of both temporal and spatial locality of access behaviour of many applicatio...
181
click to vote
AAAI
1998
15 years 8 months ago
1998
The technology for building large knowledge bases (KBs) is yet to witness a breakthrough so that a KB can be constructed by the assembly of prefabricated knowledge components. Kno...
198
click to vote
AAAI
1990
15 years 7 months ago
1990
This paper provides an account of the representation of defaults in Cyc and their semantics in terms of first order logic with reification. Default reasoning is a complex thing, a...
191
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: In the area of protein structure prediction, recently a lot of effort has gone into the development of Model Quality Assessment Programs (MQAPs). MQAPs distinguish hig...