Sciweavers

6833 search results - page 183 / 1367
» Some two-character sets
Sort
View
BTW
1999
Springer
129views Database» more  BTW 1999»
15 years 8 months ago
Dual Retrieval in Conceptual Information Systems
Conceptual Information Systems provide a multi-dimensional conceptually structured view on data stored in relational databases. On restricting the expressiveness of the retrieval l...
Gerd Stumme
TARK
1998
Springer
15 years 8 months ago
A Modal Logic of Information Change
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
Joeri Engelfriet, Yde Venema
144
Voted
BROADNETS
2007
IEEE
15 years 8 months ago
Generic optical network provisioning services to support emerging grid applications
Emerging high-end applications require a rich set of network provisioning services that go beyond the traditional source-destination, end-to-end path service. They also require hig...
Yufeng Xin, Lina Battestilli, Gigi Karmous-Edwards
145
Voted
SAT
2010
Springer
125views Hardware» more  SAT 2010»
15 years 8 months ago
Two Techniques for Minimizing Resolution Proofs
Some SAT-solvers are equipped with the ability to produce resolution proofs for problems which are unsatisfiable. Such proofs are used in a variety of contexts, including finding...
Scott Cotton
DGCI
2008
Springer
15 years 6 months ago
A New Fuzzy Connectivity Class Application to Structural Recognition in Images
Fuzzy sets theory constitutes a poweful tool, that can lead to more robustness in problems such as image segmentation and recognition. This robustness results to some extent from t...
Olivier Nempont, Jamal Atif, Enrico Angelini, Isab...