3255 search results - page 46 / 651 » Combination of Abstractions in the ASTR |
CSCLP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We propose a new family of constraints which combine together lexicographical ordering constraints for symmetry breaking with other common global constraints. We give a g...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Conflict-based diagnosis is a recently proposed probabilistic method for model-based diagnosis, inspired by consistencybased diagnosis, that uses a measure of data confli...
BILDMED
2007
13 years 9 months ago
2007
Abstract. In this paper, a novel virtual reality-based simulator for regional anaesthesia is presented. Individual datasets of patients with nerve cords are created from medical sc...
EJC
2008
13 years 7 months ago
2008
Abstract. In this paper we enumerate the number of ways of selecting k objects from n objects arrayed in a line such that no two selected ones are separated by m-1, 2m-1,
ECOOPW
1994
Springer
13 years 11 months ago
1994
Springer
ing Interactions Based on Message Sets Svend Frr 1 and Gul Agha2. 1 Hewlett-Packard Laboratories, 1501 Page Mill Road, Palo Alto, CA 94303 2 University of Illinois, 1304 W. Springf...