1036 search results - page 68 / 208 » Report on INEX 2009 |
160
click to vote
ESWS
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Finding the optimal selection of an OWL reasoner and service interface for a specific ontology-based application is challenging. Over time it has become more and more di...
147
click to vote
FM
2009
Springer
16 years 26 days ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
148
click to vote
FM
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
141
click to vote
ICB
2009
Springer
16 years 26 days ago
2009
Springer
For multi-view face alignment (MVFA), the non-linear variation of shape and texture, and the self-occlusion of facial feature points caused by view change are the two major difficu...
142
click to vote
ICCBR
2009
Springer
16 years 26 days ago
2009
Springer
Positive transfer learning (TL) occurs when, after gaining experience from learning how to solve a (source) task, the same learner can exploit this experience to improve performanc...