5550 search results - page 672 / 1110 » Different Approaches to Proof Systems |
198
click to vote
INFSOF
2002
15 years 6 months ago
2002
Identifying code duplication in large multi-platform software systems is a challenging problem. This is due to a variety of reasons including the presence of high-level programmin...
190
click to vote
UMUAI
1998
15 years 6 months ago
1998
This paper presents some alternate theories for explaining the term ‘initiative’, as it is used in the design of mixed-initiative AI systems. Although there is now active resea...
174
click to vote
TSD
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Dental rehabilitation by complete dentures is a state-of-the-art approach to improve functional aspects of the oral cavity of edentulous patients. It is important to assu...
203
click to vote
MEMICS
2010
15 years 1 months ago
2010
Abstract. Increasing integration densities and the emergence of nanotechnology cause issues related to reliability and power consumption to become dominant factors for the design o...
232
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
—High-end machines at modern HPC centers are constantly undergoing hardware and system software upgrades – necessitating frequent rebuilds of application codes. The number of p...