Sciweavers

76 search results - page 2 / 16
» Reasoning Boolean operation based modeling for heterogeneous...
Sort
View
118
Voted
AMAI
2000
Springer
15 years 3 months ago
On Solving Boolean Optimization with Satisfiability-Based Algorithms
This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Comp...
Vasco M. Manquinho, João P. Marques Silva
102
Voted
JCISE
2002
148views more  JCISE 2002»
14 years 12 months ago
Hybrid Cellular-functional Modeling of Heterogeneous Objects
An approach to modeling heterogeneous objects as multidimensional point sets with multiple attributes (hypervolumes) is presented. Attributes given at each point represent object ...
Valery Adzhiev, Elena Kartasheva, Tosiyasu L. Kuni...
ICC
2007
IEEE
162views Communications» more  ICC 2007»
15 years 6 months ago
Ontology-Based Reasoning for Supporting Context-Aware Services on Autonomic Networks
- Ontology engineering has been proposed as a formal mechanism for both reducing the complexity of managing the information needed in network management and autonomic systems and f...
Jaime Martín Serrano, Joan Serrat, John Str...
107
Voted
CL
2000
Springer
15 years 4 months ago
A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases
Abstract. In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general object-oriented m...
Enrico Franconi, Fabio Grandi, Federica Mandreoli
122
Voted
AIR
2005
114views more  AIR 2005»
15 years 5 days ago
Relation Algebras and their Application in Temporal and Spatial Reasoning
Qualitative temporal and spatial reasoning is in many cases based on binary relations such as before, after, starts, contains, contact, part of, and others derived from these by r...
Ivo Düntsch