Sciweavers

878 search results - page 107 / 176
» Choice and development
Sort
View
87
Voted
VLDB
2005
ACM
85views Database» more  VLDB 2005»
15 years 6 months ago
Pattern Tree Algebras: Sets or Sequences?
XML and XQuery semantics are very sensitive to the order of the produced output. Although pattern-tree based algebraic approaches are becoming more and more popular for evaluating...
Stelios Paparizos, H. V. Jagadish
78
Voted
DSOM
2005
Springer
15 years 6 months ago
SLA Design from a Business Perspective
Abstract. A method is proposed whereby values for Service Level Objectives (SLOs) of an SLA can be chosen to reduce the sum IT infrastructure cost plus business financial loss. Bu...
Jacques Philippe Sauvé, Filipe Marques, Ant...
AH
2004
Springer
15 years 6 months ago
Empirical Evaluation of an Adaptive Multiple Intelligence Based Tutoring System
EDUCE is an Intelligent Tutoring System for which a set of learning resources has been developed using the principles of Multiple Intelligences. It can dynamically identify learnin...
Declan Kelly, Brendan Tangney
98
Voted
CP
2004
Springer
15 years 6 months ago
Disjoint, Partition and Intersection Constraints for Set and Multiset Variables
We have started a systematic study of global constraints on set and multiset variables. We consider here disjoint, partition, and intersection constraints in conjunction with cardi...
Christian Bessière, Emmanuel Hebrard, Brahi...
97
Voted
CSL
2004
Springer
15 years 6 months ago
A Dependent Type Theory with Names and Binding
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...
Ulrich Schöpp, Ian Stark