Sciweavers

2385 search results - page 352 / 477
» Knowledge Refinement for a Design System
Sort
View
115
Voted
ICAIL
2003
ACM
15 years 7 months ago
Logic-Based Regulation Compliance-Assistance
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
Shawn Kerrigan, Kincho H. Law
108
Voted
ISORC
2000
IEEE
15 years 7 months ago
Scheduling Solutions for Supporting Dependable Real-Time Applications
This paper deals with tolerance to timing faults in time-constrained systems. TAFT (Time Aware Fault-Tolerant) is a recently devised approach which applies tolerance to timing vio...
F. Sandrini, Felicita Di Giandomenico, Andrea Bond...
113
Voted
ACSC
2004
IEEE
15 years 6 months ago
Adaptive Cooperative Fuzzy Logic Controller
Fuzzy logic is a natural basis for modelling and solving problems involving imprecise knowledge and continuous systems. Unfortunately, fuzzy logic systems are invariably static (o...
Justin Ammerlaan, David Wright
139
Voted
DAIS
2010
15 years 4 months ago
Structured Context Prediction: A Generic Approach
Context-aware applications and middleware platforms are evolving into major driving factors for pervasive systems. The ability to also make accurate assumptions about future contex...
Matthias Meiners, Sonja Zaplata, Winfried Lamersdo...
129
Voted
DAGSTUHL
2008
15 years 4 months ago
The Grand Challenges and Myths of Neural-Symbolic Computation
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...
Luís C. Lamb