Sciweavers

342 search results - page 33 / 69
» Calling context abstraction with shapes
Sort
View
TYPES
2004
Springer
15 years 5 months ago
A Content Based Mathematical Search Engine: Whelp
Abstract. The prototype of a content based search engine for mathematical knowledge supporting a small set of queries requiring matching and/or typing operations is described. The ...
Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti...
CP
2000
Springer
15 years 4 months ago
New Search Heuristics for Max-CSP
Abstract. This paper evaluates the power of a new scheme that generates search heuristics mechanically. This approach was presented and evaluated rst in the context of optimization...
Kalev Kask
PRIS
2003
15 years 1 months ago
A Comparison of Line Detectors for Image Background Modelling
Abstract. In the context of multimedia data analysis, it is often necessary to understand what happens in a scene, which can rely on detecting and tracking the different moving obj...
Sébastien Lefèvre, Cédric Jeu...
JUCS
2006
126views more  JUCS 2006»
14 years 11 months ago
Behavioral Institutions and Refinements in Generalized Hidden Logics
: We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract alge...
Manuel A. Martins
JUCS
2002
103views more  JUCS 2002»
14 years 11 months ago
Knowledge Nodes: the Building Blocks of a Distributed Approach to Knowledge
Abstract: In this paper, we criticise the objectivistic approach that underlies most current systems for Knowledge Management. We show that such an approach is incompatible with th...
Matteo Bonifacio, Paolo Bouquet, Roberta Cuel