Sciweavers

17054 search results - page 203 / 3411
» Logics of Dynamical Systems
Sort
View
IANDC
2010
83views more  IANDC 2010»
15 years 5 months ago
Static analysis of topology-dependent broadcast networks
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
Sebastian Nanz, Flemming Nielson, Hanne Riis Niels...
FUZZIEEE
2007
IEEE
16 years 1 months ago
New Type-2 Rule Ranking Indices for Designing Parsimonious Interval Type-2 Fuzzy Logic Systems
— In this paper, we propose two novel indices for type-2 fuzzy rule ranking to identify the most influential fuzzy rules in designing type-2 fuzzy logic systems, and name them a...
Shang-Ming Zhou, Robert John, Francisco Chiclana, ...
210
Voted
ICLP
2010
Springer
15 years 11 months ago
A Logical Paradigm for Systems Biology (Invited Talk)
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...
François Fages
DEXA
2008
Springer
187views Database» more  DEXA 2008»
15 years 9 months ago
Description Logic to Model a Domain Specific Information Retrieval System
In professional environments which are characterized by a domain (Medicine, Law, etc.), information retrieval systems must be able to process precise queries, mostly because of the...
Saïd Radhouani, Gilles Falquet, Jean-Pierre C...
DLOG
1998
15 years 8 months ago
A Description Logic System for Learning in Complex Domains
This paper introduces YAYA1, a Description Logic system focused towards learning complex interrelations among objects. YAYA Concept Language (YCL) is quite restricted; although it...
Jordi Alvarez