Sciweavers

1554 search results - page 90 / 311
» cases 2003
Sort
View
CAISE
2003
Springer
15 years 3 months ago
Metamodel-Compliance Checking of Requirements in a Semiformal Representation
Abstract. Checking requirements is highly desirable but hard to achieve in practice, where only word processors are used in most projects. While in this case reviews are more or le...
Hermann Kaindl, Stefan Kramer, Mario Hailing, Vaha...
CAISE
2003
Springer
15 years 3 months ago
Improving e-Form Layout Through Analysis of Form Semantics and Validation Checks
Transaction services offered by public authorities vary from simple forms with few fields to multi-form compound documents with hundreds of input areas. In the latter case, field p...
Costas Vassilakis, George Lepouras, Stathis Rouvas...
CEEMAS
2003
Springer
15 years 3 months ago
An Agent-Based Personalized Producer/Consumer Scenario
We present an agent-based Producer/Consumer scenario, that is the key element of manufacturing systems and therefore of utmost importance. We call it a MSWS-system, which is made u...
Christian Seitz, Bernhard Bauer
COLT
2003
Springer
15 years 3 months ago
Lower Bounds on the Sample Complexity of Exploration in the Multi-armed Bandit Problem
We consider the Multi-armed bandit problem under the PAC (“probably approximately correct”) model. It was shown by Even-Dar et al. [5] that given n arms, it suffices to play th...
Shie Mannor, John N. Tsitsiklis
COLT
2003
Springer
15 years 3 months ago
Internal Regret in On-Line Portfolio Selection
This paper extends the game-theoretic notion of internal regret to the case of on-line potfolio selection problems. New sequential investment strategies are designed to minimize th...
Gilles Stoltz, Gábor Lugosi