Sciweavers

2075 search results - page 42 / 415
» aime 2007
Sort
View
AMC
2006
114views more  AMC 2006»
14 years 9 months ago
Definability as hypercomputational effect
The classical simulation of physical processes using standard models of computation is fraught with problems. On the other hand, attempts at modelling real-world computation with ...
S. Barry Cooper
AMC
2006
131views more  AMC 2006»
14 years 9 months ago
How much can analog and hybrid systems be proved (super-)Turing
Church thesis and its variants say roughly that all reasonable models of computation do not have more power than Turing machines. In a contrapositive way, they say that any model ...
Olivier Bournez
AMC
2006
89views more  AMC 2006»
14 years 9 months ago
A functional computation model for the duality of two-variable Lambda-Boolean functions
This paper presents a new functional computation model for developing a class of two-variable Lambda-Boolean functions, and describes the properties of the duality principle on th...
Tolga Güyer, Seref Mirasyedioglu
75
Voted
CE
2007
88views more  CE 2007»
14 years 9 months ago
Teaching Java backwards
Presenting material in a more object-oriented way is a growing trend in Computer Science education. er takes the idea of objects-first or abstraction-first teaching a step further...
Philip Machanick
CONSTRAINTS
2007
94views more  CONSTRAINTS 2007»
14 years 9 months ago
A Constraint-based Approach for Annotating Music Scores with Gestural Information
The physical gestures that operate music instruments are responsible for the qualities of the sound being produced in a performance. Gestural information is thereby crucial for a ...
Daniele P. Radicioni, Vincenzo Lombardo