Sciweavers

6142 search results - page 237 / 1229
» The Complexity of Partition Functions
Sort
View
APPML
2007
92views more  APPML 2007»
15 years 5 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...
169
Voted
FOSSACS
2007
Springer
15 years 11 months 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
15 years 11 months 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
15 years 10 months 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...
124
Voted
ROBOCUP
1999
Springer
94views Robotics» more  ROBOCUP 1999»
15 years 9 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...