Sciweavers

1192 search results - page 50 / 239
» Computing Weakest Readings
Sort
View

Book
403views
16 years 7 months ago
Eloquent JavaScript An opinionated guide to programming
"Eloquent JavaScript is a digital book providing a comprehensive introduction (tutorial) to the JavaScript programming language. Apart from a bookful of text, it contains plen...
Marijn Haverbeke
ICALP
2004
Springer
15 years 5 months ago
Towards an Algebraic Theory of Typed Mobile Processes
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
Yuxin Deng, Davide Sangiorgi
CORR
2010
Springer
58views Education» more  CORR 2010»
14 years 12 months ago
Soundly Handling Static Fields: Issues, Semantics and Analysis
Although in most cases class initialization works as expected, some static fields may be read before being initialized, despite being initialized in their corresponding class init...
Laurent Hubert, David Pichardie
CHI
2008
ACM
16 years 7 days ago
Child computer interaction
In this project an interactive computer system is designed that envisions to contribute to young children's musical education. From literature, requirements for musical inter...
Janet C. Read, Panos Markopoulos, Narcís Pa...
ACII
2011
Springer
13 years 12 months ago
Toward a Computational Framework of Suspense and Dramatic Arc
We propose a computational framework for the recognition of suspense and dramatic arc in stories. Suspense is an affective response to narrative structure that accompanies the redu...
Brian O'Neill, Mark Riedl