3047 search results - page 295 / 610 » On the Meaning of Logical Completeness |
181
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
SIGSOFT
2005
ACM
16 years 8 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
317
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
In aspect-oriented programming, one can intercept events by writing patterns called pointcuts. The pointcut language of the most popular aspect-oriented programming language, Aspe...
213
click to vote
TLDI
2009
ACM
16 years 4 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
162
Voted
RTAS
2007
IEEE
16 years 1 months ago
2007
IEEE
The availability of programmable hardware devices with high density of logic elements and the possibility of implementing CPUs (called softcores) using a fraction of the FPGA area...