1061 search results - page 78 / 213 » Dependently Sorted Logic |
FAC
2007
13 years 10 months ago
2007
Abstract. The Verifying Compiler (VC) project proposals suggest that mainstream software developers are its targeted end-users. Like other software engineering efforts, the VC proj...
ICDAR
2009
IEEE
14 years 4 months ago
2009
IEEE
In this paper, a new document image binarization technique is presented, as an improved version of the state-of-the-art adaptive logical level technique (ALLT). The original ALLT ...
WCNC
2008
IEEE
14 years 4 months ago
2008
IEEE
— Weather attenuations can have a distorting effect on signal fidelity above 10 GHz that lead to excessive digital transmission error. This loss of signal is commonly referred to...
KBSE
2003
IEEE
14 years 3 months ago
2003
IEEE
Automating software evolution requires both identifying precisely the affected program points and selecting the appropriate modification at each point. This task is particularly ...
KR
2010
Springer
14 years 2 months ago
2010
Springer
Recent years have seen the advent of large and complex ontologies, most notably in the medical domain. As a consequence, structuring mechanisms for ontologies are nowadays viewed ...