Sciweavers

4737 search results - page 141 / 948
» The LOGIC negotiation model
Sort
View
WABI
2007
Springer
14 years 3 months ago
Predicting Protein Folding Kinetics Via Temporal Logic Model Checking
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...
Christopher James Langmead, Sumit Kumar Jha
CAINE
2003
13 years 10 months ago
A Fuzzy Logic Based Multiple Reference Model Adaptive Control
This paper presents a fuzzy logic approach for switching multiple reference models, within the Model Reference Adaptive Control (MRAC) framework, in response to major changes in t...
Sukumar Kamalasadan, Adel A. Ghandakly, Khalid S. ...
CPE
2003
Springer
149views Hardware» more  CPE 2003»
14 years 2 months ago
Logical and Stochastic Modeling with SMART
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...
Gianfranco Ciardo, R. L. Jones III, Andrew S. Mine...
MICAI
2007
Springer
14 years 3 months ago
On Reachability of Minimal Models of Multilattice-Based Logic Programs
In this paper some results are obtained regarding the existence and reachability of minimal fixed points for multiple-valued functions on a multilattice. The concept of inf-preser...
Jesús Medina, Manuel Ojeda-Aciego, Jorge Ru...
DEXA
2008
Springer
187views Database» more  DEXA 2008»
13 years 11 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...