10493 search results - page 1678 / 2099 » Dynamic Word Problems |
147
click to vote
WADT
2004
Springer
15 years 9 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
130
click to vote
FOCS
2003
IEEE
15 years 9 months ago
2003
IEEE
We consider the problem of clustering a collection of elements based on pairwise judgments of similarity and dissimilarity. Bansal, Blum and Chawla (in: Proceedings of 43rd FOCS, ...
150
Voted
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents an approach for classifying students in order to predict their final grade based on features extracted from logged data in an education web-based system. A comb...
164
click to vote
CIA
2001
Springer
15 years 8 months ago
2001
Springer
User-to-User Communication within Internet-based 3D Virtual Environments is usually difficult mainly due to the trade-off between the capability and the complexity of the interface...
121
click to vote
IUI
1998
ACM
15 years 8 months ago
1998
ACM
Eliciting user-task models is a thorny problem in modelbased user interface design, and communicating domainspecific knowledge from an expert to a knowledge engineer is a continui...