2152 search results - page 311 / 431 » On Automating the Calculus of Relations |
114
Voted
COMPSYSTECH
2010
14 years 9 months ago
2010
: In this paper an approach for development of univariate time series prediction library in Java and its integration with an existing CLIPS related system is presented .A backpropa...
128
Voted
AIED
2011
Springer
14 years 4 months ago
2011
Springer
: We present an automated detector that can predict a student’s future performance on a transfer post-test, a post-test involving related but different skills than the skills stu...
131
click to vote
CIDR
2011
14 years 4 months ago
2011
For some problems, human assistance is needed in addition to automated (algorithmic) computation. In sharp contrast to existing data management approaches, where human input is ei...
122
Voted
DM
2011
14 years 4 months ago
2011
A relational first order structure is homogeneous if it is countable (possibly finite) and every isomorphism between finite substructures extends to an automorphism. This artic...
114
Voted
APLAS
2011
ACM
14 years 22 days ago
2011
ACM
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...