11022 search results - page 277 / 2205 » Programming Systems for Autonomy |
176
Voted
ADAEUROPE
2006
Springer
16 years 21 days ago
2006
Springer
The maintenance and evolution of critical software with high requirements for reliability is an extremely demanding, time consuming and expensive task. Errors introduced by ad-hoc ...
186
click to vote
VSTTE
2005
Springer
16 years 5 days ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
172
click to vote
GECCO
2004
Springer
16 years 2 days ago
2004
Springer
Satisfiability testing (SAT) is a very active area of research today, with numerous real-world applications. We describe CLASS2.0, a genetic programming system for semi-automatica...
177
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
168
click to vote
AAAI
2010
15 years 8 months ago
2010
We introduce a new method to find semantic inconsistencies (i.e., concepts with erroneous synonymity) in the Unified Medical Language System (UMLS). The idea is to identify the in...