Sciweavers

89222 search results - page 55 / 17845
» Which
Sort
View
AIME
2005
Springer
14 years 2 months ago
Testing Asbru Guidelines and Protocols for Neonatal Intensive Care
: The automatic application of computerized guidelines and protocols in intensive care is not simple, given the high volume of data which must be processed and the need to offer ad...
Christian Fuchsberger, Jim Hunter, Paul McCue
CP
2005
Springer
14 years 2 months ago
Solution Equivalent Subquadrangle Reformulations of Constraint Satisfaction Problems
Abstract. Subquadrangles are a natural way in which to represent constraints as they do not restrict any subset of their scope. There are already known methods for converting any g...
Chris Houghton, David A. Cohen
CPAIOR
2005
Springer
14 years 2 months ago
Multiconsistency and Robustness with Global Constraints
We propose a natural generalization of arc-consistency, which we call multiconsistency: A value v in the domain of a variable x is kmulticonsistent with respect to a constraint C i...
Khaled M. Elbassioni, Irit Katriel
FCT
2005
Springer
14 years 2 months ago
A Self-dependency Constraint in the Simply Typed Lambda Calculus
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...
Aleksy Schubert
ICWE
2005
Springer
14 years 2 months ago
NavOptim: On the Possibility of Minimising Navigation Effort
Web applications have rapidly become critical to the interaction that organisations have with their external stakeholders. A major factor in the effectiveness of this interaction i...
Xiaoying Kong, David Lowe