4485 search results - page 523 / 897 » Equivalences on Observable Processes |
173
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— We have investigated the deformation of a soft fingertip when it slides. This process was first simulated using the non-linear Finite Element Analysis (FEA) method. Based on ...
157
click to vote
AIMS
2009
Springer
16 years 1 months ago
2009
Springer
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...
192
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
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...
151
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
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...
155
click to vote
ISVC
2009
Springer
16 years 1 months ago
2009
Springer
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...