Sciweavers

1170 search results - page 112 / 234
» Between ends and fibers
Sort
View
GISCIENCE
2010
Springer
216views GIS» more  GISCIENCE 2010»
15 years 27 days ago
Cognitive Invariants of Geographic Event Conceptualization: What Matters and What Refines?
Behavioral experiments addressing the conceptualization of geographic events are few and far between. Our research seeks to address this deficiency by developing an experimental fr...
Alexander Klippel, Rui Li, Frank Hardisty, Chris W...
ICFP
2010
ACM
15 years 19 hour ago
A certified framework for compiling and executing garbage-collected languages
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
Andrew McCreight, Tim Chevalier, Andrew P. Tolmach
AIS
2007
Springer
14 years 12 months ago
Crafts praxis for critical wearables design
This paper treats the contemporary craft market as an under-researched resource for wearable computing, and investigates the alternative values and experiences that contemporary c...
Sarah Kettley
ENTCS
2008
137views more  ENTCS 2008»
14 years 12 months ago
Computerizing Mathematical Text with MathLang
Mathematical texts can be computerized in many ways that capture differing amounts of the mathematical meaning. At one end, there is document imaging, which captures the arrangeme...
Fairouz Kamareddine, J. B. Wells
CORR
2006
Springer
120views Education» more  CORR 2006»
14 years 12 months ago
On the Role of Shared Entanglement
Despite the apparent similarity between shared randomness and shared entanglement in the context of Communication Complexity, our understanding of the latter is not as good as of ...
Dmitry Gavinsky