Sciweavers

844 search results - page 31 / 169
» aim 2004
Sort
View
PRICAI
2004
Springer
15 years 7 months ago
Adaptive Model for Foreground Extraction in Adverse Lighting Conditions
Background elimination models are widely used in motion tracking systems. Our aim is to develop a system that performs reliably under adverse lighting conditions. In particular, th...
Stewart Greenhill, Svetha Venkatesh, Geoff A. W. W...
123
Voted
QOFIS
2004
Springer
15 years 7 months ago
Multi-bid Versus Progressive Second Price Auctions in a Stochastic Environment
Pricing is considered a relevant way to control congestion and differentiate services in communication networks. Among all pricing schemes, auctioning for bandwidth has received a...
Patrick Maillé, Bruno Tuffin
110
Voted
SFM
2004
Springer
15 years 7 months ago
Embedded Software Analysis with MOTOR
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Kla...
126
Voted
TAL
2004
Springer
15 years 7 months ago
Automatic Acquisition of Transfer Rules from Translation Examples
In our research, we have developed a transfer-based machine translation architecture for the translation from Japanese into German. One main feature of the system is the fully auto...
Werner Winiwarter
111
Voted
VMCAI
2004
Springer
15 years 7 months ago
A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...
David Harel