1941 search results - page 193 / 389 » Reasoning about Computations Using Two-Levels of Logic |
110
Voted
ICDE
2010
IEEE
15 years 10 months ago
2010
IEEE
— Massive data analysis on large clusters presents new opportunities and challenges for query optimization. Data partitioning is crucial to performance in this environment. Howev...
110
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
This paper describes a method for risk analysis based on the approach used in CRAMM, but instead of using discrete measures for threats and vulnerabilities and lookup tables to de...
247
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
Self-adjusting computation is an evaluation model in which programs can respond efficiently to small changes to their input data by using a change-propagation mechanism that updat...
125
Voted
IJCAI
1989
15 years 4 months ago
1989
This paper considers the Valiant framework as it is applied to the task of learning logical concepts from random examples. It is argued that the current interpretation of this Val...
138
Voted
COMMA
2008
15 years 5 months ago
2008
This paper formulates in the first part some requirements for a certain sort of computational argumentation systems, namely those which are designed for a very specific purpose: to...