784 search results - page 26 / 157 » Relaxing the Value Restriction |
143
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
144
click to vote
ICCS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We propose an approach to many-valued contexts using formal descriptions instead of scaling. The underlying idea is the philosphical definition of a concept as a set of ...
124
click to vote
PG
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we describe a method for exact evaluation of a limit mesh defined via subdivision on a uniform grid of any size. Other exact evaluation technique either restrict t...
135
click to vote
JMLR
2006
15 years 4 months ago
2006
We propose a novel approach to optimize Partially Observable Markov Decisions Processes (POMDPs) defined on continuous spaces. To date, most algorithms for model-based POMDPs are ...
150
click to vote
ARCS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The severe resource restrictions of computer-augmented everyday artifacts imply substantial problems for the design of applications in smart environments. Some of these p...