Sciweavers

2409 search results - page 323 / 482
» On Extended Regular Expressions
Sort
View
CASCON
2006
98views Education» more  CASCON 2006»
15 years 8 months ago
A lightweight approach to state based security testing
State based protocols are protocols in which the handling of one message depends on the contents of previous messages. Testing such protocols, for security or for other purposes u...
Songtao Zhang, Thomas R. Dean, Scott Knight
DLOG
2006
15 years 8 months ago
Conjunctive Query Answering for Description Logics with Transitive Roles
An important reasoning task, in addition to the standard DL reasoning services, is conjunctive query answering. In this paper, we present algorithms for conjunctive query answerin...
Birte Glimm, Ian Horrocks, Ulrike Sattler
DIWEB
2001
15 years 8 months ago
Integration of XML Data in XPathLog
XPathLog is a logic-based language for manipulating and integrating XML data. It extends the XPath query language with Prolog-style variables. Due to the close relationship with X...
Wolfgang May
EUSFLAT
2001
183views Fuzzy Logic» more  EUSFLAT 2001»
15 years 8 months ago
Analysis of consensus under intuitionistic fuzzy preferences
We extend the main idea of a fuzzy analysis of consensusintroduced by Spillman, Spillman and Bezdek [12]- that is based on a concept of a distance from consensus - to a case when ...
Eulalia Szmidt, Janusz Kacprzyk
IJCAI
2001
15 years 8 months ago
Context-specific Sign-propagation in Qualitative Probabilistic Networks
ive probabilistic networks are qualitative abstractions of probabilistic networks, summarising probabilistic influences by qualitative signs. As qualitative networks model influen...
Silja Renooij, Simon Parsons, Linda C. van der Gaa...