1998 search results - page 80 / 400 » Situated Control Rules |
128
click to vote
EUSFLAT
2001
15 years 5 months ago
2001
In this paper we shall describe a very natural extension of MV-algebras, the divisible MV-algebras (DMV). Such algebraic structures will be used to give a formal description of ru...
145
click to vote
DGO
2007
15 years 5 months ago
2007
Solving complex global problems such as illegal immigration, border control, and terrorism requires government organizations at all levels to share not only data but, more importa...
142
click to vote
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
137
click to vote
ACL
1998
15 years 5 months ago
1998
In this paper, we report on an effort to provide a general-purpose spoken language generation tool for Concept-to-Speech (CTS) applications by extending a widely used text generat...
125
click to vote
COMPLEXITY
2007
15 years 4 months ago
2007
: We study the parametric controls of self-adjusting systems with numerical models. We investigate the situation where the target dynamics changes slowly and passes through a chaot...