Sciweavers

6087 search results - page 227 / 1218
» Knowledge discovery methods
Sort
View
FLAIRS
2006
15 years 5 months ago
Introspective Subgroup Analysis for Interactive Knowledge Refinement
When knowledge systems are deployed into a real-world application, then the maintenance and the refinement of the knowledge are essential tasks. Many existing automatic knowledge ...
Martin Atzmüller, Joachim Baumeister, Frank P...
TFM
2009
Springer
136views Formal Methods» more  TFM 2009»
15 years 11 months ago
On Teaching Formal Methods: Behavior Models and Code Analysis
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
Jan Kofron, Pavel Parizek, Ondrej Sery
IEEECIT
2010
IEEE
15 years 2 months ago
Study on Evaluation Method of Practical Teaching: A Practical Teaching Test Analysis
The practical teaching is a key to train students in practical ability and innovative consciousness. But, evaluation standards of practice teaching are still confusion. By analyzin...
Haiwei Jin
ICML
2005
IEEE
16 years 5 months ago
Learning approximate preconditions for methods in hierarchical plans
A significant challenge in developing planning systems for practical applications is the difficulty of acquiring the domain knowledge needed by such systems. One method for acquir...
Dana S. Nau, David W. Aha, Héctor Muñ...
CG
2006
Springer
15 years 4 months ago
Computational methods for understanding 3D shapes
Understanding shapes has been a challenging issue for many years, firstly motivated by computer vision and more recently by many complex applications in diverse fields, such as me...
Marco Attene, Silvia Biasotti, Michela Mortara, Gi...