1788 search results - page 180 / 358 » Model Theory for Process Algebra |
149
Voted
DOLAP
2008
ACM
15 years 5 months ago
2008
ACM
The development of data warehouses is based on a threestage process that starts specifying both the static and dynamic properties of on-line analytical processing (OLAP) applicati...
123
Voted
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Visual search is an important part of human-computer interaction. It is critical that we build theory about how people visually search displays in order to better support the user...
141
click to vote
FOAL
2009
ACM
15 years 10 months ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
144
click to vote
AICOM
2005
2005
The Ants' Garden: Complex interactions between populations and the scalability of qualitative models
15 years 3 months ago
Ecological theories often explain the behaviour of communities in terms of the underlying interactions that take place between the species that are part of the community. This clos...
108
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
We present a simple dynamic equilibrium model for an online exchange where both buyers and sellers arrive according to a exogenously defined stochastic process. The structure of t...