Sciweavers

3005 search results - page 249 / 601
» Logical Information Systems: from Taxonomies to Logics
Sort
View
CIKM
2005
Springer
16 years 6 days ago
Information retrieval and machine learning for probabilistic schema matching
Schema matching is the problem of finding correspondences (mapping rules, e.g. logical formulae) between heterogeneous schemas e.g. in the data exchange domain, or for distribute...
Henrik Nottelmann, Umberto Straccia
BIRTHDAY
2004
Springer
16 years 2 days ago
Composing Hidden Information Modules over Inclusive Institutions
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...
Joseph A. Goguen, Grigore Rosu
JUCS
2010
123views more  JUCS 2010»
15 years 5 months ago
Decision Making with Uncertainty Information Based on Lattice-Valued Fuzzy Concept Lattice
: For the processing of decision making with uncertainty information, this paper establishes a decision model based on lattice-valued logic and researches the algorithm for extract...
Li Yang, Yang Xu
ICWE
2005
Springer
16 years 5 days ago
The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
Marco Brambilla, Alin Deutsch, Liying Sui, Victor ...
FPL
1999
Springer
95views Hardware» more  FPL 1999»
15 years 11 months ago
FPGA Viruses
Programmable logic is widely used, for applications ranging from eld-upgradable subsystems to advanced uses such as recon gurable computing platforms which are modi able at run-tim...
Ilija Hadzic, Sanjay Udani, Jonathan M. Smith