1101 search results - page 168 / 221 » Forcing in proof theory |
IJSYSC
2000
15 years 11 days 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...
104
click to vote
OOPSLA
2010
Springer
14 years 11 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 ...
116
Voted
TASLP
2010
14 years 11 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...
115
Voted
IPPS
2010
IEEE
14 years 10 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...
104
Voted
GRAPHICSINTERFACE
2009
14 years 10 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...