Sciweavers

1477 search results - page 226 / 296
» What's the point of documentation
Sort
View
IEEEHPCS
2010
13 years 6 months ago
Portfolio-based Parallel SAT solving
Abstract. In this paper, we explore the two well-known principles of diversification and intensification in portfolio-based parallel SAT solving. These dual concepts play an impo...
Lakhdar Sais
IGPL
2010
98views more  IGPL 2010»
13 years 6 months ago
Science: the rules of the game
: Popper s suggestion of taking methodological norms as conventions is examined from the point of view of game theory. The game of research is interpreted as a game of persuasion, ...
Jesús Zamora-Bonilla
IJMI
2010
120views more  IJMI 2010»
13 years 6 months ago
A longitudinal study of usability in health care: Does time heal?
We report from a longitudinal laboratory-based usability evaluation of a health care information system. A usability evaluation was conducted with novice users when an electronic p...
Jesper Kjeldskov, Mikael B. Skov, Jan Stage
ISBRA
2010
Springer
13 years 6 months ago
Analysis of Gene Interactions Using Restricted Boolean Networks and Time-Series Data
A popular model for gene regulatory networks is the Boolean network model. In this paper, we propose an algorithm to perform an analysis of gene regulatory interactions using the B...
Carlos H. A. Higa, Vitor H. P. Louzada, Ronaldo Fu...
IWC
2010
132views more  IWC 2010»
13 years 6 months ago
Audio makes a difference in haptic collaborative virtual environments
In this paper a study is presented which aimed at exploring the effects of audio feedback in a haptic and visual interface supporting collaboration among sighted and people who ca...
Jonas Moll, Yingying Huang, Eva-Lotta Sallnäs