1285 search results - page 97 / 257 » Structural Operators for Modeling 3-Manifolds |
119
click to vote
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...
102
Voted
JMLR
2010
14 years 11 months ago
2010
How can we generate realistic networks? In addition, how can we do so with a mathematically tractable model that allows for rigorous analysis of network properties? Real networks ...
104
click to vote
IFIPTCS
2000
15 years 4 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
136
Voted
ICPADS
2005
IEEE
15 years 6 months ago
2005
IEEE
Data warehouses store large volumes of data according to a multidimensional model with dimensions representing different axes of analysis. OLAP systems (OnLine Analytical Processi...
99
Voted
ENTCS
2002
15 years 14 days ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...