3545 search results - page 41 / 709 » Computational methods for case-cohort studies |
151
click to vote
ITICSE
2003
ACM
15 years 11 months ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
140
click to vote
COR
2008
15 years 6 months ago
2008
Discrete-time optimal control problems arise naturally in many economic problems. Despite the rapid growth in computing power and new developments in the literature, many economic...
145
click to vote
PRESENCE
2006
15 years 6 months ago
2006
This paper presents a large scale (N 101) exploratory relational study of computer gamers' gaming habits and their presence experiences. The study posited and examined the ef...
156
click to vote
CHARME
2001
Springer
15 years 9 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
156
click to vote
ISMB
1994
15 years 7 months ago
1994
Multiple sequence alignment has been a useful methodin the study of molecular evolution and sequence-structure relationships. This paper presents a newmethodfor multiple sequence ...