Sciweavers

6142 search results - page 237 / 1229
» The Complexity of Partition Functions
Sort
View
APPML
2007
92views more  APPML 2007»
15 years 6 months ago
Topological grammars for data approximation
A method of topological grammars is proposed for multidimensional data approximation. For data with complex topology we define a principal cubic complex of low dimension and give...
Alexander N. Gorban, Neil R. Sumner, Andrei Yu. Zi...
FOSSACS
2007
Springer
16 years 20 days ago
Logical Reasoning for Higher-Order Functions with Local State
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
Nobuko Yoshida, Kohei Honda, Martin Berger
SIBGRAPI
2006
IEEE
16 years 16 days ago
Improved FingerCode Matching Function
FingerCode is a fingerprint correlation matching scheme that relies on texture information. In this scheme, the oriented components are extracted from a fingerprint image using a ...
Gustavo de Sa, Roberto de Alencar Lotufo
CP
2005
Springer
16 years 1 days ago
Tree Decomposition with Function Filtering
Besides search, complete inference methods can also be used to solve soft constraint problems. Their main drawback is the high spatial complexity. To improve its practical usage, w...
Martí Sánchez, Javier Larrosa, Pedro...
ROBOCUP
1999
Springer
94views Robotics» more  ROBOCUP 1999»
15 years 10 months ago
A Functional Architecture for a Team of Fully Autonomous Cooperative Robots
A three-level functional architecture for a team of mobile robots is described in detail, including the de nition of the role assigned to each level, the main concepts involved, a...
Pedro U. Lima, Rodrigo M. M. Ventura, Pedro Apar&i...