7661 search results - page 1339 / 1533 » Languages and the Computing Profession |
198
click to vote
FCCM
2007
IEEE
16 years 1 months ago
2007
IEEE
Programming efficiency of heterogeneous concurrent systems is limited by the use of lock-based synchronization mechanisms. Transactional memories can greatly improve the programmi...
217
click to vote
ICDS
2007
IEEE
16 years 1 months ago
2007
IEEE
— 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...
180
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
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...
168
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
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...
164
click to vote
AIED
2007
Springer
16 years 1 months ago
2007
Springer
The relationship between emotions and learning was investigated by tracking the emotions that college students experienced while learning about computer literacy with AutoTutor. Au...