Sciweavers

4103 search results - page 154 / 821
» Some results on the Collatz problem
Sort
View
AI
2008
Springer
15 years 6 months ago
Properties of tree convex constraints
It is known that a tree convex network is globally consistent if it is path consistent. However, if a tree convex network is not path consistent, enforcing path consistency on it ...
Yuanlin Zhang, Eugene C. Freuder
ENGL
2008
82views more  ENGL 2008»
15 years 6 months ago
Teachers' Views on Conducting Formative Assessment in Chinese Context
- A new system of curriculum evaluation of formative assessment has been established in secondary education system in China for seven years. Attention has been given to teaching an...
Xuefeng Wang
IJON
2007
134views more  IJON 2007»
15 years 6 months ago
Analysis of SVM regression bounds for variable ranking
This paper addresses the problem of variable ranking for Support Vector Regression. The relevance criteria that we proposed are based on leave-one-out bounds and some variants and...
Alain Rakotomamonjy
CORR
2011
Springer
215views Education» more  CORR 2011»
14 years 10 months ago
Lasserre Hierarchy, Higher Eigenvalues, and Approximation Schemes for Quadratic Integer Programming with PSD Objectives
We present an approximation scheme for optimizing certain Quadratic Integer Programming problems with positive semidefinite objective functions and global linear constraints. Thi...
Venkatesan Guruswami, Ali Kemal Sinop
ICTAC
2009
Springer
15 years 11 months ago
A Formal Approach to Heuristically Test Restorable Systems
Abstract. Given a nite state machine denoting the specication of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
Pablo Rabanal, Ismael Rodríguez, Fernando R...