2189 search results - page 120 / 438 » A Graded Applicability of Rules |
162
click to vote
LFCS
2007
Springer
16 years 15 days ago
2007
Springer
Density elimination by substitutions is introduced as a uniform method for removing applications of the Takeuti-Titani density rule from proofs in firstorder hypersequent calculi....
183
click to vote
GG
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
168
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
Extracting data from Web pages using wrappers is a fundamental problem arising in a large variety of applications of vast practical interest. In this paper, we propose a novel sch...
162
click to vote
ISCC
2000
IEEE
15 years 10 months ago
2000
IEEE
With multimedia applications, the Internet traffic increased a lot in volume, but also suffered major alterations in its nature, requesting other network services besides the curr...
144
click to vote
IIS
2000
15 years 7 months ago
2000
Machine learning methods are frequently used to create rule-based classifiers. For continuous features linguistic variables used in conditions of the rules are defined by membershi...