1175 search results - page 54 / 235 » Abstract computability and algebraic specification |
114
click to vote
FOSSACS
2004
Springer
15 years 8 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...
145
click to vote
ECAI
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Representing and reasoning about orientation information is an important aspect of qualitative spatial reasoning. We present a novel approach for dealing with intrinsic o...
103
click to vote
JLP
2006
15 years 3 months ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
127
click to vote
ICCS
2009
Springer
15 years 25 days ago
2009
Springer
Abstract. Discovering gene co-regulatory relationships is a new but important research problem in DNA microarray data analysis. The problem of gene specific co-regulation discovery...
131
click to vote
EDOC
2009
IEEE
15 years 7 months ago
2009
IEEE
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...