2765 search results - page 138 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
189
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a method which computes optimized representations for non-convex polyhedra. Our method detects so-called redundant linear constraints in these representations ...
120
click to vote
IPM
2008
15 years 6 months ago
2008
This paper reports on the underlying IR problems encountered when dealing with the complex morphology and compound constructions found in the Hungarian language. It describes evalu...
170
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Model transformations operate on models conforming to precisely defined metamodels. Consequently, it often seems relatively easy to chain them: the output of a transforma...
201
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
This paper introduces a financial hedging model for global environment risks. Our approach is based on portfolio insurance under hedging constraints. Investors are assumed to maxi...
173
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Fault-tolerant (FT) distributed protocols (such as group membership, consensus, etc.) represent fundamental building blocks for many practical systems, e.g., the Google File System...