3233 search results - page 214 / 647 » Rule Modeling and Markup |
127
Voted
WLP
2005
Springer
15 years 10 months ago
2005
Springer
Assigning semantics to logic programs via selector generated models (Schwarz 2002/2003) extends several semantics, like the stable, the inflationary, and the stable generated sema...
131
click to vote
ATVA
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we describe a first-order linear time temporal logic (LTL) model checker based on multiway decision graphs (MDG). We developed a first-order temporal language, LMDG ...
124
Voted
FDL
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper, we introduce a layout description and generation model, GBLD, based on the notions and elements of L-systems and context-free grammars. Our layout model is compatib...
125
click to vote
ACL
2006
15 years 6 months ago
2006
The psycholinguistic literature provides evidence for syntactic priming, i.e., the tendency to repeat structures. This paper describes a method for incorporating priming into an i...
133
Voted
EUSFLAT
2001
15 years 6 months ago
2001
In this paper we will describe several methods that solve, using mathematical programming, different problems that, although can be used in others fields in the fuzzy modelling co...