Sciweavers

3458 search results - page 210 / 692
» Abstracting Control
Sort
View
CAISE
2005
Springer
15 years 9 months ago
Operation-based Merging of Hierarchical Documents
Abstract. Version control systems allow a group of people to work together on a set of documents over a network by merging their changes into the same source repository. The existi...
Claudia-Lavinia Ignat, Moira C. Norrie
122
Voted
LISP
2002
81views more  LISP 2002»
15 years 3 months ago
Linear Continuation-Passing
Abstract. Continuations can be used to explain a wide variety of control behaviours, including calling/returning (procedures), raising/handling (exceptions), labelled jumping (goto...
Josh Berdine, Peter W. O'Hearn, Uday S. Reddy, Hay...
110
Voted
AIME
2001
Springer
15 years 8 months ago
Detection of Infectious Outbreaks in Hospitals through Incremental Clustering
Abstract. This paper highlights the shortcomings of current systems of nosocomial infection control and shows how techniques borrowed from statistics and Artificial Intelligence, i...
Timothy Langford, Christophe G. Giraud-Carrier, Jo...
132
Voted
GECON
2007
Springer
81views Business» more  GECON 2007»
15 years 9 months ago
Prediction-Based Enforcement of Performance Contracts
Grid computing platforms require automated and distributed resource allocation with controllable quality-of-service (QoS). Market-based allocation these features using the compleme...
Thomas Sandholm, Kevin Lai
147
Voted
WFLP
2009
Springer
255views Algorithms» more  WFLP 2009»
15 years 8 months ago
Constraint Based Strategies
Numerous computational and deductive frameworks use the notion of strategy to guide reduction and search space exploration, making the macro scale control of micro operations an ex...
Claude Kirchner, Florent Kirchner, Hél&egra...