Sciweavers

1724 search results - page 280 / 345
» Abstract Interpreters for Free
Sort
View
COSIT
2003
Springer
94views GIS» more  COSIT 2003»
15 years 11 months ago
Testing the First Law of Cognitive Geography on Point-Display Spatializations
Abstract. Spatializations are computer visualizations in which nonspatial information is depicted spatially. Spatializations of large databases commonly use distance as a metaphor ...
Daniel R. Montello, Sara Irina Fabrikant, Marco Ru...
ECAL
2003
Springer
15 years 11 months ago
Are There Representations in Embodied Evolved Agents? Taking Measures
Abstract. The question of conceptual representation has received considerable attention in philosophy, neuroscience and embodied evolved agents. Numerous theories on the interpreta...
Hezi Avraham, Gal Chechik, Eytan Ruppin
FCT
2003
Springer
15 years 11 months ago
On a Logical Approach to Estimating Computational Complexity of Potentially Intractable Problems
Abstract. In the paper we present a purely logical approach to estimating computational complexity of potentially intractable problems. The approach is based on descriptive complex...
Andrzej Szalas
FM
2003
Springer
169views Formal Methods» more  FM 2003»
15 years 11 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
IFL
2003
Springer
167views Formal Methods» more  IFL 2003»
15 years 11 months ago
A Functional Shell That Dynamically Combines Compiled Code
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
Arjen van Weelden, Rinus Plasmeijer