Sciweavers

1541 search results - page 195 / 309
» Learning to Diagnose by Doing
Sort
View
JSAT
2006
109views more  JSAT 2006»
14 years 10 months ago
Decomposing SAT Problems into Connected Components
Many SAT instances can be decomposed into connected components either initially after preprocessing or during the solution phase when new unit conflict clauses are learned. This o...
Armin Biere, Carsten Sinz
SIGCSE
2008
ACM
102views Education» more  SIGCSE 2008»
14 years 10 months ago
Teaching tales: some student perceptions of computing education
: Student perceptions of the educational experiences that are provided to them at tertiary institutions do not necessarily match the perceptions of the academics who provide these ...
Carol Edmondson
TNN
2008
119views more  TNN 2008»
14 years 10 months ago
Selecting Useful Groups of Features in a Connectionist Framework
Abstract--Suppose for a given classification or function approximation (FA) problem data are collected using sensors. From the output of the th sensor, features are extracted, ther...
Debrup Chakraborty, Nikhil R. Pal
JVCA
2007
151views more  JVCA 2007»
14 years 9 months ago
Organizing motions with a nominal description
Due to the success of motion capture technologies, large motion capture data becomes available. Although organizing large databases has been widely researched for various purposes...
Min Je Park, Jieun Cho
CL
2004
Springer
14 years 9 months ago
Induced intentional software views
Evolving and maintaining software requires adequate documentation of its implementation. However, due to the software's constant evolution, the documentation and implementati...
Tom Tourwé, Johan Brichau, Andy Kellens, Kr...