Sciweavers

3443 search results - page 8 / 689
» More Algebras for Determiners
Sort
View
EDM
2008
96views Data Mining» more  EDM 2008»
13 years 9 months ago
Labeling Student Behavior Faster and More Precisely with Text Replays
We present text replays, a method for generating labels that can be used to train classifiers of student behavior. We use this method to label data as to whether students are gamin...
Ryan Shaun Joazeiro de Baker, Adriana M. J. B. de ...
NADA
1998
Springer
136views Hardware» more  NADA 1998»
14 years 3 days ago
Towards an Algebraic Specification of the Java Virtual Machine
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
K. Stephenson
SIGIR
2009
ACM
14 years 2 months ago
Annotation of URLs: more than the sum of parts
Recently a number of studies have demonstrated that search engine logfiles are an important resource to determine the relevance relation between URLs and query terms. We hypothes...
Max Hinne, Wessel Kraaij, Stephan Raaijmakers, Suz...
CSL
2010
Springer
13 years 9 months ago
Formal Theories for Linear Algebra
We introduce two-sorted theories in the style of [CN10] for the complexity classes L and DET, whose complete problems include determinants over Z2 and Z, respectively. We then desc...
Stephen Cook, Lila Fontes
IJAC
2002
128views more  IJAC 2002»
13 years 7 months ago
Computational Complexity of Generators and Nongenerators in Algebra
Abstract. We discuss the computational complexity of several problems concerning subsets of an algebraic structure that generate the structure. We show that the problem of determin...
Clifford Bergman, Giora Slutzki