10870 search results - page 425 / 2174 » Model Checking Programs |
209
Voted
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web. We define guarded hybrid knowledge bases (or g-hybrid knowledge...
214
click to vote
VSTTE
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. The Verifying Compiler checks the correctness of the program it compiles. The workhorse of such a tool is the reasoning engine, which decides validity of formulae in a su...
170
Voted
CONCUR
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We present a capability calculus for checking partial confluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be par...
192
Voted
ACL
2003
15 years 9 months ago
2003
This paper proposes an automatic method of detecting grammar elements that decrease readability in a Japanese sentence. The method consists of two components: (1) the check list o...
174
click to vote
ANLP
1997
15 years 8 months ago
1997
This paper describes the implementation of a prototype of a grammar based grammar checker for Czech and the basic ideas behind this implementation. The demo is implemented as an i...