9626 search results - page 295 / 1926 » Invariant Based Programming |
182
click to vote
CSREAEEE
2008
15 years 8 months ago
2008
- This paper proposes the use of an interactive web based problem solving application that utilises flowchart based programming and code generation to address the issues faced by n...
171
click to vote
CCS
2003
ACM
15 years 12 months ago
2003
ACM
This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis based on modeling C stri...
165
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasonin...
173
click to vote
ICDAR
2007
IEEE
16 years 28 days ago
2007
IEEE
In this paper we propose a novel approach to the detection of on-line handwritten text lines based on dynamic programming. We try to find the paths with the minimum cost between ...
202
click to vote
IJCAI
2007
15 years 8 months ago
2007
Integrating description logics (DL) and logic programming (LP) would produce a very powerful and useful formalism. However, DLs and LP are based on quite different principles, so ...