Sciweavers

2509 search results - page 155 / 502
» Abstract Geometrical Computation and Computable Analysis
Sort
View
CVPR
2004
IEEE
16 years 8 months ago
Shape Correspondence through Landmark Sliding
Motivated by improving statistical shape analysis, this paper presents a novel landmark-based method for accurate shape correspondence, where the general goal is to align multiple...
Song Wang, Toshiro Kubota, Theodor Richardson
SAGA
2007
Springer
16 years 16 days ago
Randomized Algorithms and Probabilistic Analysis in Wireless Networking
Abstract. Devices connected wirelessly, in various forms including computers, hand-held devices, ad hoc networks, and embedded systems, are expected to become ubiquitous all around...
Aravind Srinivasan
ACRI
2004
Springer
15 years 12 months ago
SAT-Based Analysis of Cellular Automata
Abstract. Cellular Automata are a powerful formal model for describing physical and computational processes. Qualitative analysis of Cellular Automata is in general a hard problem....
Massimo D'Antonio, Giorgio Delzanno
SAS
2004
Springer
15 years 11 months ago
Spatial Analysis of BioAmbients
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
Hanne Riis Nielson, Flemming Nielson, Henrik Pileg...
ESANN
2007
15 years 7 months ago
A metamorphosis of Canonical Correlation Analysis into multivariate maximum margin learning
Abstract. Canonical Correlation Analysis(CCA) is a useful tool to discover relationship between different sources of information represented by vectors. The solution of the underl...
Sándor Szedmák, Tijl De Bie, David R...