17789 search results - page 47 / 3558 » Exceptional Use Cases |
DM
2010
13 years 5 months ago
2010
Suppose is a dual polar space of rank n and H is a hyperplane of . Cardinali, De Bruyn and Pasini have already shown that if n 4 and the line size is greater than or equal to fo...
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional&q...
DCC
2002
IEEE
14 years 7 months ago
2002
IEEE
We present a technique designed aiming to improve the compression of the Edgebreaker CLERS string for large and regular meshes, where regularity is understood as the compactness o...
TIME
2009
IEEE
14 years 2 months ago
2009
IEEE
The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the...
IROS
2008
IEEE
14 years 2 months ago
2008
IEEE
— High performance and compliant robot control requires accurate dynamics models which cannot be obtained analytically for sufficiently complex robot systems. In such cases, mac...