2673 search results - page 304 / 535 » Guided Static Analysis |
163
Voted
AAAI
1997
15 years 7 months ago
1997
Mixed-initiative planning is one approach to building an intelligent decision-making environment. A mixedinitiative system shares decision-making responsibility with the user such...
144
click to vote
AAAI
1997
15 years 7 months ago
1997
In this paper, we present a novel first order theorem proving strategy - ordered semantic hyper linking. Ordered semantic hyper linking (OSHL) is an instance-based refutational th...
177
Voted
CASCON
1997
15 years 7 months ago
1997
A data mining system, DBMiner, has been developed for interactive mining of multiple-level knowledgeinlargerelationaldatabases and data warehouses. The system implements a wide sp...
198
click to vote
UAI
2007
15 years 7 months ago
2007
Bayesian networks (BN) are particularly well suited to capturing vague and uncertain knowledge. However, the capture of this knowledge and associated reasoning from human domain e...
175
click to vote
ICANN
2010
Springer
15 years 7 months ago
2010
Springer
One way to handle the perception of images that change in position (or size, orientation or deformation) is to invoke rapidly changing fiber projections to project images into a fi...