727 search results - page 42 / 146 » Automating the Choice of Decision Support System Architectur... |
109
click to vote
CADE
2006
Springer
16 years 2 months ago
2006
Springer
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...
136
Voted
CSMR
2002
IEEE
15 years 6 months ago
2002
IEEE
Static analysis aims at recovering the structure of a software system, while dynamic analysis focuses on its run time behaviour. We propose a technique for combining the analysis ...
115
click to vote
NIPS
2008
15 years 3 months ago
2008
Markov Decision Processes (MDPs) have been extensively studied and used in the context of planning and decision-making, and many methods exist to find the optimal policy for probl...
114
click to vote
JAIR
2006
15 years 1 months ago
2006
Efficient representations and solutions for large decision problems with continuous and discrete variables are among the most important challenges faced by the designers of automa...
CACM
2010
15 years 2 months ago
2010
Every operating system embodies a collection of design decisions. Many of the decisions behind systems have remained unchanged, even as hardware and software have evolved. Operati...