2470 search results - page 175 / 494 » Liveness-Preserving Simulation Relations |
135
click to vote
KI
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. This paper presents a novel method for developing and evaluating intelligent robot behavior for joint human-robot activities. We extended a physical simulation of an auto...
85
Voted
ICALP
1989
Springer
15 years 5 months ago
1989
Springer
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
102
Voted
ISCA
1995
IEEE
15 years 4 months ago
1995
IEEE
Previous research has shown that the SPEC benchmarks achieve low miss ratios in relatively small instruction caches. This paper presents evidence that current software-development...
92
Voted
BMCBI
2006
15 years 1 months ago
2006
Background: Two-dimensional gel electrophoresis (2DE) is a powerful technique to examine post-translational modifications of complexly modulated proteins. Currently, spot detectio...
130
Voted
CSDA
2006
15 years 1 months ago
2006
We explore a periodic analysis in the context of unobserved components time series models that decompose time series into components of interest such as trend, seasonal and irregu...