2440 search results - page 179 / 488 » Explanation-Based Feature Construction |
136
click to vote
ICDCS
2005
IEEE
15 years 10 months ago
2005
IEEE
We present middleware for a Server Development Environment that facilitates live development of SOAP and CORBA servers. As the underlying implementation platform, we use JPie, a t...
143
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
Intelligent Tutoring Systems are notoriously costly to construct [1], and require PhD level experience in cognitive science and rule based programming. The goal of this research wa...
140
click to vote
ISOLA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...
137
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
We present direct proofs of termination of evaluation for typed delimited-control operators shift and reset using a variant of Tait’s method with context-based reducibility pred...
162
click to vote
CAISE
2001
Springer
15 years 9 months ago
2001
Springer
XML is fast becoming the standard for information exchange on the Internet. As such, information expressed in XML will need to be integrated with existing information systems, whi...