1064 search results - page 173 / 213 » Disjoint Systems (Extended Abstract) |
172
Voted
DBPL
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. In the context of XML data management systems, the estimation of query cardinality is becoming more and more important: the information provided by a query result estimat...
114
Voted
FOSSACS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...
104
Voted
ICCS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We describe a virtual telemetry system that allows us to devise and augment dynamic data-driven application simulations (DDDAS). Virtual telemetry has the advantage that ...
115
click to vote
CPAIOR
2010
Springer
15 years 8 months ago
2010
Springer
Constrained Optimum Path (COP) problems arise in many real-life applications and are ubiquitous in communication networks. They have been traditionally approached by dedicated algo...
126
Voted
FM
2001
Springer
15 years 8 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...