Sciweavers

5409 search results - page 598 / 1082
» Basic Observables for Processes
Sort
View
AIMS
2009
Springer
16 years 1 months ago
A Statistical Analysis of Network Parameters for the Self-management of Lambda-Connections
Network monitoring plays an important role in network management. Through the analysis of network parameters (e.g., flow throughput), managers can observe network behavior and mak...
Tiago Fioreze, Lisandro Zambenedetti Granville, Ra...
ATVA
2009
Springer
173views Hardware» more  ATVA 2009»
16 years 1 months ago
Solving Parity Games in Practice
Parity games are 2-player games of perfect information and infinite duration that have important applications in automata theory and decision procedures (validity as well as model...
Oliver Friedmann, Martin Lange
FM
2009
Springer
92views Formal Methods» more  FM 2009»
16 years 1 months ago
Field-Sensitive Value Analysis by Field-Insensitive Analysis
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...
Elvira Albert, Puri Arenas, Samir Genaim, Germ&aac...
ISVC
2009
Springer
16 years 1 months ago
A Quality Pre-processor for Biological Cell Images
We have developed a method to rapidly test the quality of a biological image, to identify appropriate segmentation methods that will render high quality segmentations for cells wit...
Adele P. Peskin, Karen Kafadar, Alden Dima
ROBOCUP
2009
Springer
214views Robotics» more  ROBOCUP 2009»
16 years 1 months ago
Real-Time Ball Tracking in a Semi-automated Foosball Table
In this article a method is proposed for ball tracking using 100 Hz computer vision in a semi-automated foosball table. In this application the behavior of the ball is highly dynam...
Rob Janssen, Jeroen de Best, René van de Mo...