Sciweavers

2075 search results - page 42 / 415
» aims 2007
Sort
View
AMC
2006
114views more  AMC 2006»
13 years 10 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»
13 years 10 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»
13 years 10 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
CE
2007
88views more  CE 2007»
13 years 10 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»
13 years 10 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