1864 search results - page 127 / 373 » Formal topology and domains |
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Our work is a fundamental study of the notion of approximation in Q-categories and in (U, Q)-categories, for a quantale Q and the ultrafilter monad U. We introduce auxiliary, appro...
138
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper studies the global synchronization problem of networked systems with bidirectional connections. We introduce a virtual node to produce the reference trajectory which wil...
199
click to vote
MASCOTS
2010
15 years 7 months ago
2010
Mobility models have traditionally been tailored to specific application domains such as human, military, or ad hoc transportation scenarios. This tailored approach often renders a...
164
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Grouping proteins into sequence-based clusters is a fundamental step in many bioinformatic analyses (e.g., homology-based prediction of structure or function). Standar...
148
click to vote
ICLP
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...