Sciweavers

3458 search results - page 210 / 692
» Abstracting Control
Sort
View
CAISE
2005
Springer
16 years 19 hour 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
LISP
2002
81views more  LISP 2002»
15 years 6 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...
AIME
2001
Springer
15 years 11 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...
GECON
2007
Springer
81views Business» more  GECON 2007»
16 years 19 days 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
WFLP
2009
Springer
255views Algorithms» more  WFLP 2009»
15 years 11 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...