2001
DOI: 10.1023/a:1012291501330
|View full text |Cite
|
Sign up to set email alerts
|

Untitled

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
10
0

Year Published

2005
2005
2023
2023

Publication Types

Select...
5
3

Relationship

0
8

Authors

Journals

citations
Cited by 52 publications
(10 citation statements)
references
References 21 publications
0
10
0
Order By: Relevance
“…Another model that is of interest for CER is the symbolic automaton, which allows CER patterns to apply constraints on the attributes of events. Automata that have predicates on their transitions were already proposed in [26]. This initial idea has recently been expanded and more fully investigated in symbolic automata [27,28,9].…”
Section: Related Workmentioning
confidence: 99%
“…Another model that is of interest for CER is the symbolic automaton, which allows CER patterns to apply constraints on the attributes of events. Automata that have predicates on their transitions were already proposed in [26]. This initial idea has recently been expanded and more fully investigated in symbolic automata [27,28,9].…”
Section: Related Workmentioning
confidence: 99%
“…For the following discussions on the application of model-based diagnosis concepts to the automated debugging of recommender user interface descriptions we introduce a variant of Predicate-Based Finite State Automata (PFSA) [15] (see e.g. Figure 1) which is a natural and compact approach to define state transitions (transitions are defined in terms of domain restrictions of finite domain variables).…”
Section: Finite State Models Of Recommender User Interfacesmentioning
confidence: 99%
“…Such process definitions are based on a predicate augmented finite state recognizer (PFSR) [24] (constraints describe transitions between different states of a recommender process) which represents allowed navigation paths within an advisor (see Figure 2). Transition conditions between states of a recommender process are evaluated using the Koba4MS constraint engine.…”
Section: Process Designermentioning
confidence: 99%