Sciweavers

5255 search results - page 970 / 1051
» Formal Methods for Privacy
Sort
View
CIKM
2010
Springer
13 years 7 months ago
Automatic metadata extraction from multilingual enterprise content
Enterprises provide professionally authored content about their products/services in different languages for use in web sites and customer care. For customer care, personalization...
Melike Sah, Vincent Wade
FMSD
2010
123views more  FMSD 2010»
13 years 7 months ago
Analog property checkers: a DDR2 case study
Abstract Modeling and Simulation Aided Verification of Analog/MixedSignal Circuits S. Little and C. Myers (University of Utah, USA) Monday, July 14, 14:00-17:00 4 14:00-14:40 fSpic...
Kevin D. Jones, Victor Konrad, Dejan Nickovic
FSS
2010
107views more  FSS 2010»
13 years 7 months ago
Cut approach to islands in rectangular fuzzy relations
The paper investigates fuzzy relations on a finite domain in the cutworthy framework, dealing with a new property coming from the information theory. If the domain of a relation i...
Eszter K. Horváth, Branimir Seselja, Andrej...
FUIN
2010
89views more  FUIN 2010»
13 years 7 months ago
Computing Maximal Error-detecting Capabilities and Distances of Regular Languages
Abstract. A (combinatorial) channel consists of pairs of words representing all possible inputoutput channel situations. In a past paper, we formalized the intuitive concept of “...
Stavros Konstantinidis, Pedro V. Silva
IAJIT
2010
177views more  IAJIT 2010»
13 years 7 months ago
Representing Uncertainty in Medical Knowledge: An Interval Based Approach for Binary Fuzzy Relations
: This paper addresses issues involved in representation of causal relationships between medical categories. An interval based approach for medical binary fuzzy relations is propos...
Bassam Haddad, Ahmad Awwad