8446 search results - page 1042 / 1690 » A Process Compensation Language |
221
Voted
ICDE
2005
IEEE
16 years 27 days ago
2005
IEEE
¡ Several systems have recently been proposed for the evaluation of XPath expressions. However, none of these systems have demonstrated both scalability with large document sizes ...
228
click to vote
HASKELL
2005
ACM
16 years 25 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
184
click to vote
IUI
2005
ACM
16 years 25 days ago
2005
ACM
Personal assistants need to allow the user to interact with the system in a flexible and adaptive way such as through spoken language dialogue. In this research we focus on an ap...
228
click to vote
WWW
2005
ACM
16 years 25 days ago
2005
ACM
This paper proposes an incremental maintenance algorithm that efficiently updates the materialized XPath/XSLT views defined using XPath expressions in XP{[],∗,//,vars} . The al...
169
click to vote
GECCO
2005
Springer
16 years 24 days ago
2005
Springer
ATNoSFERES is a Pittsburgh style Learning Classifier System (LCS) in which the rules are represented as edges of an Augmented Transition Network. Genotypes are strings of tokens ...