3028 search results - page 266 / 606 » Integrating Temporal Logics |
196
Voted
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
148
click to vote
JMS
2010
15 years 1 months ago
2010
Abstract Health examinations play a key role in preventive medicine. We propose a health examination system named Health Examination Automatic Logic System (HEALS) to assist clinic...
175
click to vote
FLOPS
2004
Springer
16 years 7 days ago
2004
Springer
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computa...
235
Voted
NMR
2004
Springer
16 years 7 days ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
211
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a ...