Sciweavers

1907 search results - page 281 / 382
» Visualizing Action Semantics
Sort
View
AIPS
2008
13 years 10 months ago
A Compact and Efficient SAT Encoding for Planning
In the planning-as-SAT paradigm there have been numerous recent developments towards improving the speed and scalability of planning at the cost of finding a step-optimal parallel...
Nathan Robinson, Charles Gretton, Duc Nghia Pham, ...
AAAI
2006
13 years 9 months ago
Preference Elicitation and Generalized Additive Utility
Any automated decision support software must tailor its actions or recommendations to the preferences of different users. Thus it requires some representation of user preferences ...
Darius Braziunas, Craig Boutilier
CADE
2001
Springer
14 years 8 months ago
Hilberticus - A Tool Deciding an Elementary Sublanguage of Set Theory
We present a tool deciding a fragment of set theory. It is designed to be easily accessible via the internet and intuitively usable by anyone who is working with sets to describe a...
Jörg Lücke
IV
2007
IEEE
158views Visualization» more  IV 2007»
14 years 2 months ago
Imago: An integrated prototyping, evaluation and transitioning environment for information visualisation
This paper introduces Imago, an environment that supports the prototyping, evaluation and transitioning of information visualisation approaches into practice. The approach is base...
Rudi Vernik, G. Stewart Von Itzstein, Alain Boucha...
AMR
2007
Springer
166views Multimedia» more  AMR 2007»
14 years 2 months ago
Smart Photo Sticking
Smart photo sticking is a novel strategy to automatically arrange a collection of photos in a pleasant collage. The proposed approach improves previous solutions both considering a...
Sebastiano Battiato, Gianluigi Ciocca, Francesca G...