19979 search results - page 3788 / 3996 » Decision support systems |
173
click to vote
TABLEAUX
2005
Springer
16 years 2 days ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...
181
click to vote
WEA
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Many large-scale optimization problems rely on graph theoretic solutions; yet high-performance computing has traditionally focused on regular applications with high degre...
171
click to vote
ACMDIS
2004
ACM
16 years 18 hour ago
2004
ACM
This paper continues the movement from technology centered to human centered approaches in the study of tasks that involve finding, understanding, and using information, and tools...
191
click to vote
ACMICEC
2004
ACM
16 years 18 hour ago
2004
ACM
This paper presents a loosely coupled service-composition paradigm. This paradigm employs a distributed data flow that differs markedly from centralized information flow adopted b...
162
click to vote
CF
2004
ACM
16 years 17 hour ago
2004
ACM
Although many defense mechanisms against buffer overflow attacks have been proposed, buffer overflow vulnerability in software is still one of the most prevalent vulnerabilities e...