898 search results - page 92 / 180 » Transitions of the Pre-Symmetry Set |
168
click to vote
SAS
2005
Springer
15 years 12 months ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
149
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
158
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
168
click to vote
TOOLS
2000
IEEE
15 years 10 months ago
2000
IEEE
With this contribution we present a design and development method for distributed applications, which are running on top of advanced object middleware platforms. We introduce the ...
175
click to vote
DEXAW
2007
IEEE
15 years 10 months ago
2007
IEEE
We built a system for the automatic creation of a textbased topic hierarchy, meant to be used in a geographically defined community. This poses two main problems. First, the appea...