980 search results - page 93 / 196 » On Negative Bases |
ICSE
2009
IEEE-ACM
14 years 1 months ago
2009
IEEE-ACM
Predicting the incidence of faults in code has been commonly associated with measuring complexity. In this paper, we propose complexity metrics that are based on the code change p...
CSL
2001
Springer
14 years 1 months ago
2001
Springer
Hyper tableau reasoning is a version of clausal form tableau reasoning where all negative literals in a clause are resolved away in a single inference step. Constrained hyper table...
FGR
2000
IEEE
14 years 1 months ago
2000
IEEE
In this paper we discuss a new robust tracking technique applied to histograms of intensity normalized color. This technique supports a video codec based on orthonormal basis codi...
CL
2000
Springer
14 years 22 days ago
2000
Springer
This paper reports on the design and implementation of FLORA -- a powerful DOOD system that incorporates the features of F-logic, HiLog, and Transaction Logic. FLORA is implemented...
DOOD
1991
Springer
14 years 19 days ago
1991
Springer
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...