413 search results - page 52 / 83 » On Product Logic with Truth-constants |
100
click to vote
SIGIR
2008
ACM
14 years 11 months ago
2008
ACM
This paper reviews the recent developments in applying geometric and quantum mechanics methods for information retrieval and natural language processing. It discusses the interest...
DAC
2004
ACM
16 years 24 days ago
2004
ACM
Programmable circuit design has played an important role in improving design productivity over the last few decades. By imposing structure on the design, efficient automation of s...
ICFP
2002
ACM
15 years 11 months ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...
101
click to vote
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
ICCAD
2007
IEEE
15 years 8 months ago
2007
IEEE
Late CMOS scaling reduces device reliability, and existing work has studied the permanent SER (soft error rate) for configuration memory in FPGA extensively. In this paper, we sh...