5578 search results - page 753 / 1116 » Base Class Injection |
204
click to vote
APLAS
2005
ACM
16 years 8 days ago
2005
ACM
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose e...
156
click to vote
MM
2005
ACM
16 years 8 days ago
2005
ACM
We propose a multi-sensor affect recognition system and evaluate it on the challenging task of classifying interest (or disinterest) in children trying to solve an educational pu...
154
click to vote
SMA
2005
ACM
16 years 8 days ago
2005
ACM
In the parametric feature based design paradigm, most features possess arguments that are subsets of the boundary of the current model, subsets defined interactively by user sele...
154
click to vote
CAV
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...
155
click to vote
COLT
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. There has been growing interest in practice in using unlabeled data together with labeled data in machine learning, and a number of different approaches have been develo...