4211 search results - page 712 / 843 » Types as Abstract Interpretations |
145
click to vote
CEC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— We propose an asynchronous island-model algorithm distribution framework and test the popular Differential Evolution algorithm performance when a few processors are ava...
168
click to vote
HAID
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Haptic data visualization is a growing research area. It conveys information using the sense of touch which can help visually impaired people or be useful when other moda...
118
click to vote
LCPC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Many parallel programs are written in a single-program, multipledata (SPMD) style, in which synchronization is provided using collective operations that all threads execu...
149
click to vote
MKM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Active mathematical documents are distinguished from traditional paper-oriented ones by their ability to interactively adapt to a reader’s inputs. This includes changes...
136
click to vote
TSD
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. For dento-oral rehabilitation of edentulous (toothless) patients, speech intelligibility is an important criterion. 28 persons read a standardized text once with and once...