2638 search results - page 90 / 528 » A Framework for Automatic Debugging |
147
click to vote
BMCBI
2011
14 years 5 months ago
2011
Background: The ability to search for and precisely compare similar phenotypic appearances within and across species has vast potential in plant science and genetic research. The ...
MKM
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we address the problem of reconstructing a higher order, checkable proof object starting from a proof trace left by a first order automatic proof searching procedure...
136
click to vote
CBSE
2008
Springer
15 years 3 months ago
2008
Springer
Component-based software engineering proposes building complex applications from COTS (Commercial Off-The-Shelf) organized into component markets. Therefore, the main development e...
108
click to vote
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
This study presents new advancements in our articulatory-based language identi cation (LID) system. Our LID system automatically identi es language-features (LFs) from a phonologi...
116
click to vote
ECIR
1998
Springer
15 years 2 months ago
1998
Springer
The automatic construction of hypertext is an important part of the hypertext authoring process. This paper presents the NHS system, a system that automatically creates links for ...