12459 search results - page 339 / 2492 » cans 2006 |
200
Voted
JAR
2010
15 years 5 months ago
2010
Many theorems involving special functions such as ln, exp and sin can be proved automatically by MetiTarski: a resolution theorem prover modified to call a decision procedure for ...
146
click to vote
JC
2010
15 years 5 months ago
2010
We present a new general class of methods for the computation of high-dimensional integrals. The quadrature schemes result by truncation and discretization of the anchored-ANOVA d...
158
click to vote
JCC
2010
15 years 5 months ago
2010
: The minimum energy path (MEP) is an important reaction path concept of theoretical chemistry, and the nudged elastic band (NEB) method with its many facets is a central method to...
190
click to vote
JCO
2010
15 years 5 months ago
2010
We study the extremal parameter N(n, m, H) which is the largest number of copies of a hypergraph H that can be formed of at most n vertices and m edges. Generalizing previous work...
198
click to vote
JCS
2010
15 years 5 months ago
2010
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...