1941 search results - page 130 / 389 » On the Hardness of Approximate Reasoning |
147
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
159
click to vote
ISCC
2003
IEEE
15 years 11 months ago
2003
IEEE
One of the key issues for implementing congestion pricing is the pricing granularity (i.e. pricing interval or timescale). The Internet traffic is highly variant and hard to cont...
159
click to vote
IJIS
2010
15 years 3 months ago
2010
In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they ...
178
click to vote
CORR
2011
Springer
15 years 28 days ago
2011
Springer
—We present a new model for distributed shared memory systems, based on remote data accesses. Such features are offered by network interface cards that allow one-sided operations...
183
click to vote
AAAI
2011
14 years 6 months ago
2011
Selection bias, caused by preferential exclusion of samples from the data, is a major obstacle to valid causal and statistical inferences; it cannot be removed by randomized exper...