5550 search results - page 536 / 1110 » Different Approaches to Proof Systems |
202
click to vote
IWMM
2010
Springer
16 years 7 days ago
2010
Springer
Temporal memory safety errors, such as dangling pointer dereferences and double frees, are a prevalent source of software bugs in unmanaged languages such as C. Existing schemes t...
209
click to vote
MCU
2004
15 years 8 months ago
2004
The classification of discrete dynamical systems that are computationally complete has recently drawn attention in light of Wolfram's "Principle of Computational Equivale...
210
click to vote
IPL
2010
15 years 6 months ago
2010
In the Max Lin-2 problem we are given a system S of m linear equations in n variables over F2 in which Equation j is assigned a positive integral weight wj for each j. We wish to ...
283
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
Enabling keyword queries over relational databases (KQDB) benefits a large population of users who have difficulty in understanding the database schema or using SQLs. However, sin...
172
click to vote
CHI
2010
ACM
2010
ACM
Prefab: implementing advanced behaviors using pixel-based reverse engineering of interface structure
16 years 2 months ago
Current chasms between applications implemented with different user interface toolkits make it difficult to implement and explore potentially important interaction techniques in n...