2694 search results - page 274 / 539 » Frege's New Science |
184
click to vote
LICS
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper describes two new bisimulation equivalences for the pure untyped call-by-value λ-calculus, called enf bisimilarity and enf bisimilarity up to η. They are based on eag...
191
click to vote
LICS
2005
IEEE
16 years 7 days ago
2005
IEEE
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
171
click to vote
LICS
2005
IEEE
16 years 7 days 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 ...
181
click to vote
SIGECOM
2005
ACM
16 years 6 days ago
2005
ACM
We present a new approach to representing coalitional games based on rules that describe the marginal contributions of the agents. This representation scheme captures characterist...
179
click to vote
AIED
2005
Springer
16 years 6 days ago
2005
Springer
This paper discusses the extensions that we have made to Betty’s Brain teachable agent system to help students learn about dynamic processes in a river ecosystem. Students first ...