Sciweavers

10435 search results - page 170 / 2087
» Computational Biology and Language
Sort
View
ICFP
2005
ACM
16 years 6 months ago
A computational approach to reflective meta-reasoning about languages with bindings
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hicke...
ECAL
2001
Springer
15 years 11 months ago
Emergent Syntax: The Unremitting Value of Computational Modeling for Understanding the Origins of Complex Language
Abstract. In this paper we explore the similarities between a mathematical model of language evolution and several A-life simulations. We argue that the mathematical model makes so...
Willem H. Zuidema
HICSS
2007
IEEE
135views Biometrics» more  HICSS 2007»
16 years 25 days ago
Composable Language Extensions for Computational Geometry: A Case Study
— This paper demonstrates how two different sets of powerful domain specific language features can be specified and deployed as composable language extensions. These extensions...
Eric Van Wyk, Eric Johnson
ASSETS
2008
ACM
15 years 8 months ago
American sign language vocabulary: computer aided instruction for non-signers
In this paper we present the results of a study designed to evaluate the computer-based methods of learning American Sign Language (ASL). We describe a method including an initial...
Valerie Henderson-Summet, Kimberly Weaver, Tracy L...
VL
2010
IEEE
209views Visual Languages» more  VL 2010»
15 years 4 months ago
Towards the Automatic Recognition of Computational Thinking for Adaptive Visual Language Learning
Visual programming languages can be used to make computer science more accessible to a broad range of students. The evaluative focus of current research in the area of visual lang...
Kyu Han Koh, Ashok R. Basawapatna, Vicki Bennett, ...