4036 search results - page 699 / 808 » Formal Methods |
156
click to vote
PPDP
2005
Springer
15 years 12 months ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
172
click to vote
WEBI
2005
Springer
15 years 12 months ago
2005
Springer
We present a generic natural language processing (NLP) architecture, acronym QTIL, based on a system of cooperating multiple agents (Q/A, T, I, and L agents) which can be used in ...
175
click to vote
ICML
2004
IEEE
15 years 11 months ago
2004
IEEE
The paper is concerned with two-class active learning. While the common approach for collecting data in active learning is to select samples close to the classification boundary,...
189
click to vote
AUSAI
2004
Springer
15 years 11 months ago
2004
Springer
Nowadays, automated Web document classification is considered as an important method to manage and process an enormous amount of Web documents in digital forms that are extensive a...
160
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
Business process modeling and design, which has attracted much attention in recent years, emphasizes mainly graphical representation, usually without an underlying theory. The lack...