4166 search results - page 92 / 834 » Automating the constraining process |
ENTCS
2006
14 years 10 months ago
2006
In this paper we propose a technique to automate the process of building translators between operations languages, a family of DSLs used to program satellite operations procedures...
IJCSA
2007
14 years 9 months ago
2007
This article presents experiences in the automation of a testing process. The main goal is the unified testing of not only one program, but a whole family of programs. The family ...
144
click to vote
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
Image analysis is still considered as the bottleneck in 2D-gel based expression proteomics analysis for biomarkers discovery. We are presenting a new end-to-end image analysis pip...
CHI
2003
ACM
15 years 10 months ago
2003
ACM
This paper describes a system, Mr.Web, designed to interact with users over email to create and update Web pages. Our goal is that users interact with Mr.Web as if it were a human...
142
click to vote
SIGMOD
2007
ACM
15 years 10 months ago
2007
ACM
Rapidly leveraging information analytics technologies to mine the mounting information in structured and unstructured forms, derive business insights and improve decision making i...