1672 search results - page 248 / 335 » Tightness problems in the plane |
APCHI
2004
IEEE
15 years 2 months ago
2004
IEEE
One strategy for increasing the usefulness, ease of use and satisfaction of wireless navigation and related services is to tailor a package of services to meet the requirements of ...
129
click to vote
TACAS
2000
Springer
15 years 2 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
ICPR
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper, we propose a novel method to register images defined on spherical meshes. Instances of such spherical images include inflated cortical feature maps in brain medical ...
FLOPS
2008
Springer
15 years 18 days ago
2008
Springer
Abstract. The paper introduces a collection of knowledge representation languages, V(C), parametrised over a class C of constraints. V(C) is an extension of both CR-Prolog and CASP...
NIPS
2008
15 years 14 days ago
2008
Spectral clustering is useful for a wide-ranging set of applications in areas such as biological data analysis, image processing and data mining. However, the computational and/or...