1101 search results - page 168 / 221 » Forcing in proof theory |
126
Voted
IJSYSC
2000
15 years 3 months ago
2000
The generation of complex entities with advantageous behaviours beyond our manual design capability requires long-term incremental evolution with continuing emergence. In this pap...
133
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Continuation-based Web servers provide advantages over traditional Web application development through the increase of expressive power they allow. This leads to fewer errors and ...
149
click to vote
TASLP
2010
15 years 2 months ago
2010
—This paper presents a set of novel physical models for sound synthesis of membrane percussion instruments. First, a model for tension modulation in a struck circular membrane is...
142
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
Sorting is a commonly used process with a wide breadth of applications in the high performance computing field. Early research in parallel processing has provided us with comprehen...
130
click to vote
GRAPHICSINTERFACE
2009
15 years 1 months ago
2009
Haptic icons are brief, meaningful tactile or force stimuli designed to support the communication of information through the often-underutilized haptic modality. Challenges to pro...