761 search results - page 113 / 153 » A Reactive Approach to Explanation |
LPAR
2005
Springer
15 years 5 months ago
2005
Springer
We present an algorithm for the conversion of very weak alternating Büchi automata into nondeterministic Büchi automata (NBA), and we introduce a local optimization criterion fo...
DEXA
2004
Springer
15 years 5 months ago
2004
Springer
The efficacy of expert systems often depends on the accuracy and completeness of the problem specification negotiated with the user. Therefore, efficient user interfaces are needed...
PATAT
2004
Springer
15 years 5 months ago
2004
Springer
Timetabling problems have been frequently studied due to their wide range of applications. However, they are often solved manually because of the lack of appropriate computer tools...
ISCAS
2003
IEEE
15 years 5 months ago
2003
IEEE
Generally, analog RF front-end circuits are designed to be functional under the most stringent, fixed, operating conditions, where all the performance parameters are set by crude ...
NDSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Denial of Service (DoS) attacks are a serious threat for the Internet. DoS attacks can consume memory, CPU, and network resources and damage or shut down the operation of the reso...