36887 search results - page 62 / 7378 » Are We All In the Same |
NDJFL
1998
13 years 9 months ago
1998
A linear order is n-decidable if its universe is N and the relations determined by n formulas are uniformly computable. This means that there is a computable procedure which, when ...
IJCGA
2010
13 years 7 months ago
2010
—A room is a simple polygon with a prespecified point, called the door, on its boundary. Search may be conducted by two guards on the boundary who keep mutual visibility at all ...
ITRE
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper will discuss some resource allocation methods that can tolerate forecast errors under the Budget-Based management infrastructure, BBQ, which is designed to offer end-to-...
CP
2005
Springer
14 years 2 months ago
2005
Springer
We propose a surprisingly simple new way of breaking all value symmetries with constraints. Our method requires the addition of one variable per value of the problem plus a linear ...
ICADL
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Digital libraries are large, organized collections of information objects. Well-designed digital library software has the potential to enable nonspecialist people to conc...