1313 search results - page 159 / 263 » Generic Universe Types |
149
click to vote
FLAIRS
2000
15 years 6 months ago
2000
This article presents the description of the objectives, the structure and the functionality of an interactive system intended to focus the teaching on the performanceof the stude...
143
click to vote
AI
2010
Springer
15 years 5 months ago
2010
Springer
We develop a new automated reasoning technique for the situation calculus that can handle a class of queries containing universal quantication over situation terms. Although such ...
156
click to vote
ALGORITHMICA
2006
15 years 5 months ago
2006
We show that the number of t-ary trees with path length equal to p is t h(t-1) tp log2 p(1+o(1)) , where h(x)=-x log2 x-(1-x) log2(1-x) is the binary entropy function. Besides its...
146
click to vote
IJNSEC
2008
15 years 5 months ago
2008
In a nominative proxy signature scheme, an original singer delegates his signing power to a proxy signer, who generates a nominative signature on behalf of the original signer. In...
129
click to vote
JGAA
2006
15 years 5 months ago
2006
Let G = (V, E) be a graph with n vertices and let P be a set of n points in the plane. We show that deciding whether there is a planar straight-line embedding of G such that the v...