Sciweavers

2904 search results - page 180 / 581
» Number Forms in the Brain
Sort
View
AGTIVE
2007
Springer
16 years 1 months ago
AGTIVE 2007 Graph Transformation Tool Contest
Abstract. In this short paper we describe the setup and results of a new initiative to compare graph transformation tools, carried out as part of the AGTIVE 2007 symposium on “Ap...
Arend Rensink, Gabriele Taentzer
CICLING
2007
Springer
16 years 1 months ago
Unsupervised Discrimination of Person Names in Web Contexts
Ambiguous person names are a problem in many forms of written text, including that which is found on the Web. In this paper we explore the use of unsupervised clustering techniques...
Ted Pedersen, Anagha Kulkarni
COCOON
2007
Springer
16 years 1 months ago
"Resistant" Polynomials and Stronger Lower Bounds for Depth-Three Arithmetical Formulas
We derive quadratic lower bounds on the ∗-complexity of sum-of-products-of-sums (ΣΠΣ) formulas for classes of polynomials f that have too few partial derivatives for the techn...
Maurice J. Jansen, Kenneth W. Regan
CSEE
2007
Springer
16 years 1 months ago
Comprehensive Evaluation of an Educational Software Engineering Simulation Environment
Software engineering educational approaches are often evaluated only anecdotally, or in informal pilot studies. We describe a unique approach to evaluating a software engineering ...
Emily Oh Navarro, André van der Hoek
CSL
2007
Springer
16 years 1 months ago
Linear Realizability
We define a notion of relational linear combinatory algebra (rLCA) which is a generalization of a linear combinatory algebra defined by Abramsky, Haghverdi and Scott. We also de...
Naohiko Hoshino