3053 search results - page 532 / 611 » A Logic of Abstract Argumentation |
HYBRID
2007
Springer
14 years 3 months ago
2007
Springer
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
ICALP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...
ICDT
2007
ACM
14 years 3 months ago
2007
ACM
Abstract. We define and study formal privacy guarantees for information integration systems, where sources are related to a public schema by mappings given by source-to-target dep...
ICSOC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. An important architectural style for constructing enterprise applications is to use transactional workflows in SOA. In this setting, workflow activities invoke distribute...
IFSA
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Generally, there are two main streams of theories for studying uncertainties. One is probability theory and the other is fuzzy set theory. One of the basic ideas of fuzzy...