Sciweavers

10435 search results - page 336 / 2087
» Computational Biology and Language
Sort
View
BIRTHDAY
2009
Springer
15 years 10 months ago
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantic
Machines Olivier Danvy BRICS Report Series RS-08-7 ISSN 0909-0878 July 2008 08-7O.Danvy:DenotationalSemantics,NaturalSemantics,andAbstractMachinesforScheme
Olivier Danvy
ACL
2009
15 years 4 months ago
Play the Language: Play Coreference
We propose the PlayCoref game, whose purpose is to obtain substantial amount of text data with the coreference annotation. We provide a description of the game design that covers ...
Barbora Hladká, Jirí Mírovsk&...
DLT
2009
15 years 4 months ago
Subshifts, Languages and Logic
We study the Monadic Second Order (MSO) Hierarchy over infinite pictures, that is tilings. We give a characterization of existential MSO in terms of tilings and projections of tili...
Emmanuel Jeandel, Guillaume Theyssier
ICCS
2004
Springer
16 years 4 days ago
A Comparison of C, MATLAB, and Python as Teaching Languages in Engineering
We describe and compare the programming languages C, MATLAB and Python as teaching languages for engineering students. We distinguish between two distinct phases in the process of ...
Hans Fangohr
CSR
2006
Springer
15 years 10 months ago
The Complexity of Equality Constraint Languages
We classify the computational complexity of all constraint satisfaction problems where the constraint language is preserved by all permutations of the domain. A constraint languag...
Manuel Bodirsky, Jan Kára