274 search results - page 35 / 55 » A Functional Language for Logarithmic Space |
AAAI
2006
13 years 9 months ago
2006
Coalition formation is an important capability of automated negotiation among self-interested agents. In order for coalitions to be stable, a key question that must be answered is...
CONCUR
2006
Springer
13 years 11 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
SSDBM
1994
IEEE
14 years 2 hour ago
1994
IEEE
The analysis of time series is a central issue in economic research and many other scientific applications. However, the data management functionality for this field is not provid...
APIN
1998
13 years 7 months ago
1998
Incidence calculus is a probabilistic logic in which incidences, standing for the situations in which formulae may be true, are assigned to some formulae, and probabilities are as...
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...