1285 search results - page 118 / 257 » Structural Operators for Modeling 3-Manifolds |
213
click to vote
STOC
2012
ACM
13 years 3 months ago
2012
ACM
In this paper we develop a new technique for proving lower bounds on the update time and query time of dynamic data structures in the cell probe model. With this technique, we pro...
116
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
Many agents are fielded within environments requiring modeling traditional organizational structures such as military hierarchies and corporations, with their associated authority...
105
click to vote
GEOS
2007
Springer
15 years 7 months ago
2007
Springer
Spatial and temporal data are critical components in many applications. This is especially true in analytical domains such as national security and criminal investigation. Often, t...
83
Voted
DEON
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
153
click to vote
AGTIVE
2007
Springer
15 years 4 months ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...