3255 search results - page 46 / 651 » Combination of Abstractions in the ASTR |
CSCLP
2008
Springer
14 years 11 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
14 years 11 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
14 years 11 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
14 years 10 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
15 years 1 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...