Sciweavers

541 search results - page 25 / 109
» Adaptive hypermedia: from systems to framework
Sort
View
CORR
2010
Springer
194views Education» more  CORR 2010»
14 years 11 months ago
A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...
Stéphane Lengrand, Roy Dyckhoff, James McKi...
COOPIS
2003
IEEE
15 years 7 months ago
From Distributed Objects to Hierarchical Grid Components
We propose a parallel and distributed component framework for building Grid applications, adapted to the hierarchical, highly distributed, highly heterogeneous nature of Grids. Thi...
Françoise Baude, Denis Caromel, Matthieu Mo...
MVA
2010
129views Computer Vision» more  MVA 2010»
14 years 8 months ago
Assessment of the influence of adaptive components in trainable surface inspection systems
Abstract In this paper, we present a framework for the classification of images in surface inspection tasks and address several key aspects of the processing chain from the origina...
Christian Eitzinger, Wolfgang Heidl, Edwin Lughofe...
ISMIR
2000
Springer
132views Music» more  ISMIR 2000»
15 years 5 months ago
Optical Music Recognition System within a Large-Scale Digitization Project
An adaptive optical music recognition system is being developed as part of an experiment in creating a comprehensive framework of tools to manage the workflow of largescale digiti...
G. Sayeed Choudhury, M. Droetboom, Tim DiLauro, Ic...
105
Voted
IDT
2007
96views more  IDT 2007»
15 years 1 months ago
Fuzzy cognitive network: A general framework
In this paper, we present a general computational and operational framework for the Fuzzy Cognitive Network (FCN), which is a direct extension of Fuzzy Cognitive Maps (FCM). The pr...
Theodoros L. Kottas, Yiannis S. Boutalis, Manolis ...