Sciweavers

9730 search results - page 311 / 1946
» Relating models of backtracking
Sort
View
164
Voted
ICCS
2005
Springer
15 years 10 months ago
Using Formal Concept Analysis and Information Flow for Modelling and Sharing Common Semantics: Lessons Learnt and Emergent Issue
Abstract. We have been witnessing an explosion of user involvement in knowledge creation, publication and access both from within and between organisations. This is partly due to t...
Yannis Kalfoglou, W. Marco Schorlemmer
FOIKS
2004
Springer
15 years 10 months ago
Plan Databases: Model and Algebra
Despite the fact that thousands of applications manipulate plans, there has been no work to date on managing large databases of plans. In this paper, we first propose a formal mod...
Fusun Yaman, Sibel Adali, Dana S. Nau, Maria Luisa...
ICRA
2000
IEEE
130views Robotics» more  ICRA 2000»
15 years 9 months ago
Beyond Range Sensing: XYZ-RGB Digitizing and Modeling
This talk will review the progress and the evolution of the development of range sensing techniques at the NRC laboratories. Essentially a 3 0 imaging project at the beginning, it...
Marc Rioux, François Blais, J.-Angelo Beral...
179
Voted
DEXAW
1999
IEEE
108views Database» more  DEXAW 1999»
15 years 9 months ago
Towards a Model for Spatio-Temporal Schema Selection
Schema versioning provides a mechanism for handling change in the structure of database systems and has been investigated widely, both in the context of static and temporal databa...
John F. Roddick, Fabio Grandi, Federica Mandreoli,...
COCOON
2006
Springer
15 years 8 months ago
Varieties Generated by Certain Models of Reversible Finite Automata
Reversible finite automata with halting states (RFA) were first considered by Ambainis and Freivalds to facilitate the research of KondacsWatrous quantum finite automata. In this ...
Marats Golovkins, Jean-Eric Pin