Sciweavers

1012 search results - page 148 / 203
» Process Algebra with Backtracking
Sort
View
ATAL
2001
Springer
14 years 2 months ago
Formalizing a Language for Institutions and Norms
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...
Marc Esteva, Julian A. Padget, Carles Sierra
IEAAIE
2001
Springer
14 years 2 months ago
A New Approach in Object-Based Knowledge Representation: The AROM System
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...
Michel Page, Jérôme Gensel, Cé...
VLDB
2001
ACM
123views Database» more  VLDB 2001»
14 years 2 months ago
User-Optimizer Communication using Abstract Plans in Sybase ASE
imizer Communication using Abstract Plans in Sybase ASE Query optimizers are error prone, due to both their nature and the increased search space that modern query processing requ...
Mihnea Andrei, Patrick Valduriez
IV
1999
IEEE
65views Visualization» more  IV 1999»
14 years 1 months ago
Display Models for Visualization
Models for visualization are important, helping the developer and user to understand the visualization process; to follow the connections and the data paths through the system; an...
Jonathan C. Roberts
SIBGRAPI
1999
IEEE
14 years 1 months ago
Developing Morphological Building Blocks: From Design to Implementation
Abstract. Mathematical morphology has become a widely used technique for image processing and computer vision. Initially designed as a set theory, it was generalized to the set of ...
Marcos Cordeiro d'Ornellas, Rein van den Boomgaard