Sciweavers

4460 search results - page 779 / 892
» Resources in process algebra
Sort
View
PAMI
2010
192views more  PAMI 2010»
15 years 4 months ago
Esaliency (Extended Saliency): Meaningful Attention Using Stochastic Image Modeling
Computer-vision attention processes allocate computational resources to different parts of visual input and can lead to faster object recognition and image analysis. This paper p...
Tamar Avraham, Michael Lindenbaum
SEKE
2010
Springer
15 years 4 months ago
Ontology-Based Test Case Generation For Simulating Complex Production Automation Systems
—The behavior of complex production automation systems is hard to predict, therefore simulation is used to study the likely system behavior. However, in a real-world system many ...
Thomas Moser, Gregor Dürr, Stefan Biffl
SPRINGSIM
2010
15 years 4 months ago
Simplifying parallel and distributed simulation with the DUP system
This paper presents how the DUP System, a straightforward POSIX-compatible framework that enables programminglanguage-agnostic parallel and distributed stream processing, can be u...
Nathan S. Evans, Chris GauthierDickey, Christian G...
ECBS
2010
IEEE
200views Hardware» more  ECBS 2010»
15 years 4 months ago
Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces
Software development and testing of Enterprise Resource Planning (ERP) systems demands dedicated methods to tackle its special features. As manual testing is not able to systematic...
Sebastian Wieczorek, Alin Stefanescu
FSTTCS
2010
Springer
15 years 4 months ago
Generalized Mean-payoff and Energy Games
In mean-payoff games, the objective of the protagonist is to ensure that the limit average of an infinite sequence of numeric weights is nonnegative. In energy games, the objectiv...
Krishnendu Chatterjee, Laurent Doyen, Thomas A. He...