62 search results - page 8 / 13 » Learnability of Term Rewrite Systems from Positive Examples |
IJCV
2000
13 years 6 months ago
2000
This paper presents a general, trainable system for object detection in unconstrained, cluttered scenes. The system derives much of its power from a representation that describes a...
POPL
1997
ACM
13 years 11 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
VMV
2001
13 years 8 months ago
2001
We present a novel approach to localization of objects in clutter images with the use of linear adaptive filters in a two-object classifier: target object versus clutter object. A...
ILP
2007
Springer
14 years 26 days ago
2007
Springer
Abstract. Despite the considerable success of Inductive Logic Programming, deployed ILP systems still have efficiency problems when applied to complex problems. Several techniques ...
CCS
2003
ACM
13 years 12 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...