690 search results - page 116 / 138 » Dense Admissible Sets |
109
click to vote
IJCBDD
2010
15 years 11 days ago
2010
: The explosion of highthroughput interaction data from proteomics studies gives us the opportunity to integrate Protein-Protein Interactions (PPI) from different type of interacti...
130
click to vote
JACM
2010
15 years 10 days ago
2010
A temporal constraint language is a set of relations that has a first-order definition in (Q, <), the dense linear order of the rational numbers. We present a complete comple...
118
click to vote
TGIS
2010
15 years 8 days ago
2010
Land use regulations are an important but often underrated legal domain. In densely populated regions such as the Netherlands, spatial plans have a profound impact on both (local) ...
140
click to vote
FORMATS
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
Any systematic decision-making design selects a decision strategy that makes the resulting closed-loop behaviour close to the desired one. Fully Probabilistic Design (FPD) describe...