2540 search results - page 86 / 508 » Abstract Logics as Dialgebras |
178
click to vote
TLCA
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
109
click to vote
LICS
2008
IEEE
16 years 24 days ago
2008
IEEE
Individual-based models are a relatively new approach to modelling dynamical systems of interacting entities, for example molecules in a biological cell. Although they are computa...
145
click to vote
ECSQARU
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In previous papers, we have presented a framework for merging structured information in XML involving uncertainty in the form of probabilities, degrees of beliefs and nec...
163
click to vote
LCTRTS
2005
Springer
15 years 12 months ago
2005
Springer
This paper introduces the notion of transparent distribution of real time software components. Transparent distribution means that (1) the functional and temporal behavior of a sy...
152
click to vote
ICCSA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents the Job Shop Scheduling Problem (JSSP) represented as the well known Satisfiabilty Problem (SAT). Even though the representation of JSSP in SAT is not...