77 search results - page 4 / 16 » Reasoning about Categories in Conceptual Spaces |
KI
2005
Springer
14 years 29 days ago
2005
Springer
To reason about geographical objects, it is not only necessary to have more or less complete information about where these objects are located in space, but also how they can chang...
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
We propose a new way to raise the level of discourse in the programming process: permit ambiguity, but manage it by linking it to unambiguous examples. This allows programming env...
COSIT
2003
Springer
14 years 21 days ago
2003
Springer
To travel successfully in a dynamic space-time setting, wayfinders must project the impact of a changing environment onto future travel choices. When making decisions, however, peo...
LICS
2010
IEEE
13 years 5 months ago
2010
IEEE
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...