Sciweavers

2138 search results - page 177 / 428
» Logics for the Relational Syllogistic
Sort
View
DATE
2008
IEEE
121views Hardware» more  DATE 2008»
16 years 27 days ago
A Bridging Fault Model Where Undetectable Faults Imply Logic Redundancy
We define a robust fault model as a model where the existence of an undetectable fault implies the existence of logic redundancy, or more generally, a suboptimality in the synthe...
Irith Pomeranz, Sudhakar M. Reddy
AINA
2007
IEEE
16 years 24 days ago
Fuzzy Logic-Based Event Notification in Sparse MANETs
In the Ad-Hoc InfoWare project, we develop a delay tolerant event notification service for sparse Mobile Ad-Hoc Networks for emergency and rescue operations. In most event notific...
Anna K. Lekova, Katrine Stemland Skjelsvik, Thomas...
ICC
2007
IEEE
100views Communications» more  ICC 2007»
16 years 23 days ago
Service Delivery in Collaborative Context-Aware Environments Using Fuzzy Logic
— This paper illustrates a novel decision making algorithm to deliver telecommunication services that match in the best possible way end-user’s requirements to current environm...
Raffaele Giaffreda, Javier A. Barria
ILP
2007
Springer
16 years 18 days ago
Applying Inductive Logic Programming to Process Mining
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Serg...
WABI
2007
Springer
16 years 16 days 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