440 search results - page 9 / 88 » Local reasoning for abstraction and sharing |
ECSQARU
2007
Springer
15 years 8 months ago
2007
Springer
version of this extended abstract appeared in the proceedings of the Ninth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-07), H...
130
click to vote
FOSSACS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
98
Voted
SEMWEB
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Military training and testing events are highly complex affairs, potentially involving dozens of legacy systems that need to interoperate in a meaningful way. There are s...
111
click to vote
COMSWARE
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— In the last few years, WLAN has seen immense growth and it will continue this trend due to the fact that it provides convenient connectivity as well as high speed links...
111
Voted
ESANN
2006
15 years 3 months ago
2006
Abstract. The EENCL algorithm [1] automatically designs neural network ensembles for classification, combining global evolution with local search based on gradient descent. Two mec...