3820 search results - page 438 / 764 » Bounded Model Debugging |
139
click to vote
DLOG
2010
15 years 1 months ago
2010
Abstract. This paper investigates Description Logics which allow transitive closure of roles to occur not only in concept inclusion axioms but also in role inclusion axioms. First,...
146
click to vote
ACIIDS
2009
IEEE
15 years 1 months ago
2009
IEEE
In this study, we propose a method of stability analysis for a GA-Based reference ANNC capable of handling these types of problems for a nonlinear system. The initial values of the...
173
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Dynamic graphs have emerged as an appropriate model to capture the changing nature of many modern networks, such as peer-to-peer overlays and mobile ad hoc networks. Most of the re...
159
click to vote
ACL
2011
14 years 7 months ago
2011
Via an oracle experiment, we show that the upper bound on accuracy of a CCG parser is significantly lowered when its search space is pruned using a supertagger, though the supert...
147
click to vote
CG
2011
Springer
14 years 7 months ago
2011
Springer
The automatic generation of volumes bounding the intersection of two implicit surfaces (isosurfaces of real functions of 3D point coordinates) or Feature Based Volumes (FBV) is pr...