Sciweavers

10435 search results - page 1899 / 2087
» Computational Biology and Language
Sort
View
ICDS
2007
IEEE
16 years 28 days ago
Automatic Acquisition of Translation Knowledge Using Structural Matching Between Parse Trees
— In this paper we present a rule-based formalism for the representation, acquisition, and application of translation knowledge. The formalism is being used successfully in a Jap...
Werner Winiwarter
LICS
2007
IEEE
16 years 27 days ago
Symmetric Datalog and Constraint Satisfaction Problems in Logspace
We introduce symmetric Datalog, a syntactic restriction of linear Datalog and show that its expressive power is exactly that of restricted symmetric monotone Krom SNP. The deep re...
László Egri, Benoit Larose, Pascal T...
LICS
2007
IEEE
16 years 27 days ago
Static Name Control for FreshML
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...
François Pottier
AIED
2007
Springer
16 years 24 days ago
Emotions and Learning with AutoTutor
The relationship between emotions and learning was investigated by tracking the emotions that college students experienced while learning about computer literacy with AutoTutor. Au...
Arthur C. Graesser, Patrick Chipman, Brandon King,...
ATAL
2007
Springer
16 years 24 days ago
WS-agreement based resource negotiation in AgentScape
Mobile agents require access to computing resources on heterogeneous systems across the Internet. This demo illustrates how agents can negotiate terms and conditions of resource a...
Michel A. Oey, Reinier J. Timmer, David G. A. Moba...
« Prev « First page 1899 / 2087 Last » Next »