846 search results - page 75 / 170 » Rewrite-Based Decision Procedures |
142
click to vote
CSSC
2008
15 years 5 months ago
2008
Common software release procedures based on statistical techniques try to optimise the trade-off between further testing costs and costs due to remaining errors. We propose new so...
201
click to vote
TASE
2010
IEEE
15 years 3 days ago
2010
IEEE
This paper presents a robust calibration procedure for clustered wireless sensor networks. Accurate calibration of between-node distances is one crucial step in localizing sensor n...
171
click to vote
ICML
2009
IEEE
16 years 6 months ago
2009
IEEE
Most models of utility elicitation in decision support and interactive optimization assume a predefined set of "catalog" features over which user preferences are express...
109
click to vote
ECML
2007
Springer
15 years 11 months ago
2007
Springer
In this article, we present an idea for solving deterministic partially observable markov decision processes (POMDPs) based on a history space containing sequences of past observat...
166
click to vote
TABLEAUX
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...