16 search results - page 2 / 4 » Automated Product Pricing Using Argumentation |
LICS
2009
IEEE
13 years 11 months ago
2009
IEEE
Several dynamical systems, such as deterministic automata and labelled transition systems, can be described as coalgebras of so-called Kripke polynomial functors, built up from co...
SOFSEM
2007
Springer
13 years 11 months ago
2007
Springer
Effective testing involves preparing test oracles and test cases, two activities which are too tedious to be effectively performed by humans, yet for the most part remain manual. T...
JETAI
2007
13 years 5 months ago
2007
The Internet has led to the development of on-line markets, and computer scientists have designed various auction algorithms, as well as automated exchanges for standardized commo...
JUCS
2010
13 years 3 months ago
2010
: Mobile phones have become the most hated device that people cannot live without. For its primary usage as a communication device, it has surpassed any other medium. But it comes ...
SAFECOMP
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...