596 search results - page 110 / 120 » Providing Automatic Support for Heuristic Rules of Methods |
BMCBI
2007
14 years 9 months ago
2007
Background: Lately, there has been a great interest in the application of information extraction methods to the biomedical domain, in particular, to the extraction of relationship...
CCS
2003
ACM
15 years 2 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...
105
click to vote
ACMMSP
2006
ACM
15 years 1 months ago
2006
ACM
We introduce a method for providing lightweight daemons, called simplifiers, that attach themselves to program data. If a data item has a simplifier, the simplifier may be run aut...
TNN
2008
14 years 9 months ago
2008
This paper proposes an incremental multiple-object recognition and localization (IMORL) method. The objective of IMORL is to adaptively learn multiple interesting objects in an ima...
101
click to vote
TLDI
2005
ACM
15 years 3 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...