3443 search results - page 183 / 689 » More Algebras for Determiners |
MLG
2007
Springer
14 years 5 months ago
2007
Springer
We give a universal kernel that renders all the regular languages linearly separable. We are not able to compute this kernel efficiently and conjecture that it is intractable, but...
ICSM
1999
IEEE
14 years 3 months ago
1999
IEEE
Software architecture is important for large systems in which it is the main means for, among other things, controlling complexity. Current ideas on software architectures were no...
IJCAI
2003
14 years 7 days ago
2003
Refinement operators for theories avoid the problems related to the myopia of many relational learning algorithms based on the operators that refine single clauses. However, the n...
SAC
2008
ACM
13 years 10 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
AIED
2009
Springer
14 years 5 months ago
2009
Springer
A basic question of instruction is how effective it is in promoting student learning. This paper presents a study determining the relative efficacy of different instructional conte...