Sciweavers

488 search results - page 48 / 98
» Weighted Logics for Traces
Sort
View
FUZZY
2001
Springer
112views Fuzzy Logic» more  FUZZY 2001»
15 years 4 months ago
A Neuron-MOS Threshold Element with Switching Capacitors
In the paper a new approach to building a MOS threshold element and an arti cial neuron on its base is discussed. The implementability of the known MOS threshold elements is restri...
Victor Varshavsky, Vyacheslav Marakhovsky
CORIA
2007
15 years 1 months ago
L'arbre recouvrant dans l'interrogation de documents XML
In this paper, we propose a fuzzy model to querying the XML documents, by taking into account not only the document contents, but also their structure. The concept of minimal size ...
Abdeslame Alilouar
ISSTA
2000
ACM
15 years 4 months ago
Verisim: Formal analysis of network simulations
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim...
MM
1998
ACM
79views Multimedia» more  MM 1998»
15 years 4 months ago
Organizing Multicast Receivers Deterministically by Packet-Loss Correlation
The ability to trace multicast paths is currently available in the Internet by means of IGMP MTRACE packets. We introduce Tracer, the rst protocol that organizes the receivers of ...
Brian Neil Levine, Sanjoy Paul, J. J. Garcia-Luna-...
ICDM
2006
IEEE
116views Data Mining» more  ICDM 2006»
15 years 5 months ago
Entity Resolution with Markov Logic
Entity resolution is the problem of determining which records in a database refer to the same entities, and is a crucial and expensive step in the data mining process. Interest in...
Parag Singla, Pedro Domingos