Sciweavers

3706 search results - page 289 / 742
» OntoComP System Description
Sort
View
WSC
1998
15 years 7 months ago
Military Simulation Worlds and Organizational Learning
The operational benefits of having a learning organization include at the very minimum increased organizational competitiveness and responsiveness in a given realm of competition....
Michael D. Proctor, Justin C. Gubler
AIPS
1996
15 years 7 months ago
A Planner for Exploratory Data Analysis
Statistical exploratory data analysis (EDA) poses a di cult search problem. However, the EDA process lends itself to a planning formulation. We have built a system, called Aide, t...
Robert St. Amant, Paul R. Cohen
IJCAI
1989
15 years 7 months ago
Concept Formation by Incremental Conceptual Clustering
Incremental conceptual clustering is an important area of machine learning. It is concerned with summarizing data in a form of concept hierarchies, which will eventually ease the ...
Mirsad Hadzikadic, David Y. Y. Yun
ENTCS
2010
94views more  ENTCS 2010»
15 years 6 months ago
Future Path-components in Directed Topology
The global states of complex systems often form pospaces, topological spaces equipped with compatible partial orders reflecting causal relationships between the states. The calcul...
Eric Goubault, Emmanuel Haucourt, Sanjeevi Krishna...
ENTCS
2006
109views more  ENTCS 2006»
15 years 6 months ago
Specifications via Realizability
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
Andrej Bauer, Christopher A. Stone