Sciweavers

58 search results - page 7 / 12
» Deductions with Meaning
Sort
View
EUSFLAT
2003
110views Fuzzy Logic» more  EUSFLAT 2003»
13 years 9 months ago
Fuzzy-neuro risk assessment of distributed real-time systems through formal and object-oriented systems modelling
The purpose of this paper is to advocate and encourage the application of fuzzy-neuro algorithms in the risk assessment of Distributed Real-Time (DRT) systems, where object-orient...
Atoosa P.-J. Thunem
AMAI
2006
Springer
13 years 7 months ago
Possibilistic uncertainty handling for answer set programming
In this work, we introduce a new framework able to deal with a reasoning that is at the same time non monotonic and uncertain. In order to take into account a certainty level assoc...
Pascal Nicolas, Laurent Garcia, Igor Stépha...
JMM2
2008
74views more  JMM2 2008»
13 years 7 months ago
Discrete LQ Rate Control for MPEG2 Video Streaming System
-- In this paper, we propose a novel rate control system by applying the discrete linear quadratic rate control method (DLQ) to transmissions of MPEG2 streams in IP networks. We gi...
Xiaofei Zhou, Kenneth Ong
ICAIL
2003
ACM
14 years 26 days ago
Specifying and Reasoning with Institutional Agents
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
Filipe Santos, Olga Pacheco
ICDT
1990
ACM
110views Database» more  ICDT 1990»
13 years 11 months ago
Beginnings of a Theory of General Database Completions
Ordinary logical implication is not enough for answering queries in a logic database, since especially negative information is only implicitly represented in the database state. M...
Stefan Brass