112 search results - page 17 / 23 » On the Expressiveness of Levesque's Normal Form |
77
Voted
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
—In this work, we utilize a recently studied more accurate range noise model for 3D sensors to derive from scratch the expressions for the optimum plane which best fits a point-...
TLCA
2005
Springer
15 years 3 months ago
2005
Springer
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...
VMCAI
2004
Springer
15 years 3 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
ICDCSW
2006
IEEE
15 years 3 months ago
2006
IEEE
The extent to which a wireless multi-hop network is connected is usually measured by the probability that all the nodes form a single connected component. We find this measure, c...
COLT
2003
Springer
15 years 2 months ago
2003
Springer
Recent work has introduced Boolean kernels with which one can learn linear threshold functions over a feature space containing all conjunctions of length up to k (for any 1 ≤ k ...