Sciweavers

287 search results - page 19 / 58
» Developing Acceptance Tests from Existing Documentation Usin...
Sort
View
AOSD
2009
ACM
15 years 4 months ago
Modelling hardware verification concerns specified in the e language: an experience report
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
Darren Galpin, Cormac Driver, Siobhán Clark...
NAR
2006
83views more  NAR 2006»
14 years 9 months ago
KOBAS server: a web-based platform for automated annotation and pathway identification
There is an increasing need to automatically annotate a set of genes or proteins (from genome sequencing, DNA microarray analysis or protein 2D gel experiments) using controlled v...
Jianmin Wu, Xizeng Mao, Tao Cai, Jingchu Luo, Lipi...
ATAL
2009
Springer
15 years 4 months ago
MABLE: a framework for learning from natural instruction
The Modular Architecture for Bootstrapped Learning Experiments (MABLE) is a system that is being developed to allow humans to teach computers in the most natural manner possible: ...
Roger Mailler, Daniel Bryce, Jiaying Shen, Ciaran ...
100
Voted
IHI
2012
197views Healthcare» more  IHI 2012»
13 years 5 months ago
A corpus of clinical narratives annotated with temporal information
Clinical reports often include descriptions of events in the patient’s medical history, as well as explicit or implicit temporal information about these events. We are working t...
Lucian Galescu, Nate Blaylock
KBSE
2000
IEEE
15 years 1 months ago
A DSL Approach to Improve Productivity and Safety in Device Drivers Development
Although peripheral devices come out at a frantic pace and require fast releases of drivers, little progress has been made to improve the development of drivers. Too often, this d...
Laurent Réveillère, Fabrice Mé...