2586 search results - page 418 / 518 » Automatic Abstraction for Congruences |
FMICS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
117
click to vote
ICA
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. In recent years, there has been a great deal of work in modeling audio using non-negative matrix factorization and its probabilistic counterparts as they yield rich model...
FSTTCS
2008
Springer
15 years 29 days ago
2008
Springer
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
105
click to vote
GECCO
2008
Springer
15 years 29 days ago
2008
Springer
This article introduces our new approach to program representation for genetic programming (GP). We replace the usual s-expression representation scheme by a strongly-typed ion-ba...
101
click to vote
GISCIENCE
2008
Springer
15 years 29 days ago
2008
Springer
Abstract. Current applications for wayfinding and navigation assistance usually calculate the route to a destination based on the shortest or fastest path from the origin. However...