3317 search results - page 175 / 664 » Strategies in Rigid-Variable Methods |
202
click to vote
ICLP
1995
Springer
15 years 10 months ago
1995
Springer
Equational theories underly many elds of computing, including functional programming, symbolic algebra, theorem proving, term rewriting and constraint solving. In this paper we sh...
180
click to vote
AVI
2006
2006
Methods for the evaluation of an interactive InfoVis tool supporting exploratory reasoning processes
15 years 8 months ago
Developing Information Visualization (InfoVis) techniques for complex knowledge domains makes it necessary to apply alternative methods of evaluation. In the evaluation of Gravi++...
164
click to vote
JBI
2007
15 years 6 months ago
2007
In this case study, we describe a method that has potential to provide systematic support for public health information management. Public health agencies depend on specialized in...
158
click to vote
KDD
1997
ACM
15 years 10 months ago
1997
ACM
In Wirth t Reinartz (1996), we introduced the early indicator method, a multi-strategy approach for the efficient prediction of various aspectsof the fault profile of a set of car...
174
click to vote
DASFAA
2004
IEEE
15 years 10 months ago
2004
IEEE
A meta-search engine propagates user queries to its participant search engines following a server selection strategy. To facilitate server selection, the metasearch engine must ke...