Sciweavers

1069 search results - page 139 / 214
» Automatic Generation of Language-based Tools
Sort
View
OOPSLA
2010
Springer
14 years 10 months ago
Random testing for higher-order, stateful programs
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
Casey Klein, Matthew Flatt, Robert Bruce Findler
ICALT
2009
IEEE
15 years 6 months ago
Using Language Technologies to Diagnose Learner's Conceptual Development
Formative feedback can provide information about how learners develop their competences in a knowledge domain. This information can determine learners’ progress and is essential...
Adriana J. Berlanga, Marco Kalz, Slavi Stoyanov, P...
CBMS
2008
IEEE
15 years 6 months ago
MapFace - An Editor for MetaMap Transfer (MMTx)
Mapping concepts from medical terminologies, such as the UMLS, to medical documents is a prerequisite for many tasks of (automatically) processing documents. Due to the nature of ...
Katharina Kaiser, Theresia Gschwandtner, Patrick M...
DATE
2008
IEEE
168views Hardware» more  DATE 2008»
15 years 6 months ago
A methodology for improving software design lifecycle in embedded control systems
Control design and real-time implementation are usually performed in isolation. The effects of the computer implementation on control system performance are still evaluated on the...
Mohamed El Mongi Ben Gaid, Rémy Kocik, Yves...
IAT
2007
IEEE
15 years 6 months ago
Investigating User Browsing Behavior
This paper describes our efforts to investigate factors in user browsing behavior to automatically evaluate Web pages that the user shows interest in. We developed a client site l...
Ganesan Velayathan, Seiji Yamada