2210 search results - page 120 / 442 » Decision Support By Learning-On-Demand |
146
click to vote
MJ
2006
15 years 6 months ago
2006
In this paper, we describe a hybrid tool for hardware formal verification that links the HOL (higher-order logic) theorem prover and (multiway decision graphs) model checker. Our ...
144
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents our work on supporting evaluation of integrity constraint issues in semantic web instance data. We propose an alternative semantics for the ontology language, i...
170
click to vote
DSOM
2008
Springer
15 years 8 months ago
2008
Springer
Incident Management is the process through which IT support organizations manage to restore normal service operation after a service disruption. The complexity of IT support organi...
154
click to vote
HICSS
2008
IEEE
16 years 26 days ago
2008
IEEE
Notification is one of the major tasks for emergency responses. Quick and appropriate notification can save lives and significantly reduce damages. It is, however, challenging to ...
171
click to vote
UM
2001
Springer
15 years 10 months ago
2001
Springer
Abstract: An emerging practice in e-commerce systems is to conduct interviews with buyers in order to identify their needs. The goal of such an interview is to determine sets of pr...