Sciweavers

1236 search results - page 172 / 248
» Prefix-Like Complexities and Computability in the Limit
Sort
View
KR
1998
Springer
15 years 2 months ago
Using an Expressive Description Logic: FaCT or Fiction?
Description Logics form a family of formalisms closely related to semantic networks but with the distinguishing characteristic that the semantics of the concept description langua...
Ian Horrocks
CIT
2007
Springer
15 years 1 months ago
An Approach for Assessment of Reliability of the System Using Use Case Model
Existing approaches on reliability assessment of the system have limitations such as performance entirely depends on expertise, knowledge of system analysts and computation of usa...
Debasish Kundu, Debasis Samanta
GECCO
2006
Springer
178views Optimization» more  GECCO 2006»
15 years 1 months ago
Adaptively choosing niching parameters in a PSO
Niching techniques play an important role in evolutionary algorithms. Existing niching methods often require userspecified parameters, limiting their usefulness. This paper propos...
Stefan Bird, Xiaodong Li
ASPDAC
2008
ACM
135views Hardware» more  ASPDAC 2008»
14 years 12 months ago
Analog circuit simulation using range arithmetics
The impact of parameter variations in integrated analog circuits is usually analyzed by Monte Carlo methods with a high number of simulation runs. Few approaches based on interval ...
Darius Grabowski, Markus Olbrich, Erich Barke
IJCAI
2007
14 years 11 months ago
Modeling When Connections Are the Problem
Most AI diagnostic reasoning approaches model components and but not their interconnections, and when they do model interconnections, they model the possibility that a connection ...
Johan de Kleer