1750 search results - page 169 / 350 » E-Commerce Development Procedure |
129
click to vote
AAAI
2010
15 years 3 months ago
2010
Most frameworks for utility elicitation assume a predefined set of features over which user preferences are expressed. We consider utility elicitation in the presence of subjecti...
137
click to vote
IEEECIT
2010
IEEE
15 years 3 months ago
2010
IEEE
—This article shows to what extent it is possible to develop a public simple mechanism for hiding information in natural language by means of the use of templates and manual anno...
149
click to vote
PRICAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We consider the problem of computing optimal plans for propositional planning problems with action costs. In the spirit of leveraging advances in general-purpose automate...
195
click to vote
SIAMSC
2010
15 years 3 months ago
2010
A greedy algorithm for the construction of a reduced model with reduction in both parameter and state is developed for efficient solution of statistical inverse problems governed b...
179
click to vote
TGC
2010
Springer
15 years 2 months ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...