1452 search results - page 227 / 291 » Algorithmic Analysis of Array-Accessing Programs |
101
Voted
BIBM
2007
IEEE
15 years 7 months ago
2007
IEEE
Health care data from patients in the Arizona Health Care Cost Containment System, Arizona’s Medicaid program, provides a unique opportunity to exploit state-of-the-art data pro...
113
click to vote
PKDD
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents a novel method for multi-relational classification via an aggregation-based Inductive Logic Programming (ILP) approach. We extend the classical ILP representati...
103
click to vote
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
This study reports the work to date on the analysis of different methodologies for constant creation with the aim of applying the most advantageous method to the dynamic real wor...
96
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
111
click to vote
DOCENG
2003
ACM
15 years 6 months ago
2003
ACM
In this paper, we propose to extend XQuery - the XML query language - with a set of transformation operators which will produce a copy of an XML tree in which some subtrees will b...