Sciweavers

1860 search results - page 168 / 372
» tools 2009
Sort
View
AI
2009
Springer
16 years 22 days ago
Enhancing the Bilingual Concordancer TransSearch with Word-Level Alignment
Despite the impressive amount of recent studies devoted to improving the state of the art of Machine Translation (MT), Computer Assisted Translation (CAT) tools remain the preferre...
Julien Bourdaillet, Stéphane Huet, Fabrizio...
AIED
2009
Springer
16 years 21 days ago
Eliciting Emotional Thought During Critical Reading for Academic Writing
One of the crucial cognitive processes in academic writing is that of problem-finding in the critical reading stage before planning an essay. With the focus of our study being on ...
Satoshi V. Suzuki, Aiko Shiraishi, Hiroaki Suzuki
BICOB
2009
Springer
16 years 21 days ago
Towards Large-Scale Molecular Dynamics Simulations on Graphics Processors
Atomistic molecular dynamics (MD) simulations are a vital tool in chemical research, as they are able to provide a view of chemical systems and processes that is not obtainable thr...
Joseph E. Davis, Adnan Ozsoy, Sandeep Patel, Miche...
BPM
2009
Springer
142views Business» more  BPM 2009»
16 years 21 days ago
Flexible Multi-dimensional Visualization of Process Enactment Data
The management of development processes is a challenging task and needs adequate tool support. In the course of a development project, many different engineering and management pr...
Thomas Heer, Christoph Außem, René W&...
TFM
2009
Springer
136views Formal Methods» more  TFM 2009»
16 years 21 days ago
On Teaching Formal Methods: Behavior Models and Code Analysis
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
Jan Kofron, Pavel Parizek, Ondrej Sery