9626 search results - page 1623 / 1926 » Invariant Based Programming |
197
click to vote
SOCO
2007
Springer
16 years 24 days ago
2007
Springer
Contemporary software systems are composed of many components, which, in general, undergo phased and incremental development. In order to facilitate the corresponding construction ...
146
Voted
TMRA
2007
Springer
16 years 24 days ago
2007
Springer
This is a summary of the presentations made in the poster session and the two open space sessions at the TMRA 2006 conference. The poster session consists of peer-reviewed conferen...
186
click to vote
UM
2007
Springer
16 years 23 days ago
2007
Springer
Accurately recognizing users’ affective states could contribute to more productive and enjoyable interactions, particularly for task-oriented learning environments. In addition t...
162
click to vote
UM
2007
Springer
16 years 23 days ago
2007
Springer
Web personalization has demonstrated to be advantageous for both online customers and vendors. However, its benefits may be severely counteracted by privacy constraints. Personaliz...
173
click to vote
WABI
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Protein structural alignment is an indispensable tool used for many different studies in bioinformatics. Most structural alignment algorithms assume that the structural ...