Sciweavers

3545 search results - page 272 / 709
» Computational methods for case-cohort studies
Sort
View
PEPM
2000
ACM
15 years 10 months ago
From Recursion to Iteration: What are the Optimizations?
Transforming recursion into iteration eliminates the use of stack frames during program execution. It has been studied extensively. This paper describes a powerful and systematic ...
Yanhong A. Liu, Scott D. Stoller
EXACT
2008
15 years 9 months ago
Deriving Explanations From Partial Temporal Information
The representation and manipulation of natural human understanding of temporal phenomena is a fundamental field of study in Computer Science, which aims both to emulate human think...
Jixin Ma, Brian Knight, Miltos Petridis
MSCS
2008
97views more  MSCS 2008»
15 years 6 months ago
Logical relations for monadic types
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...
Jean Goubault-Larrecq, Slawomir Lasota, David Nowa...
NCA
2006
IEEE
15 years 6 months ago
Neural network modelling of word production in Finnish: coding semantic and non-semantic features
: The objective of our research is to computationally model word production and its disorders by means of artificial neural networks. In the current study we develop and analyze an...
Antti Järvelin, Martti Juhola, Matti Laine
IJCSA
2007
110views more  IJCSA 2007»
15 years 6 months ago
Multiprocessor Scheduling Using Hybrid Particle Swarm Optimization with Dynamically Varying Inertia
The problem of task assignment in heterogeneous computing systems has been studied for many years with many variations. We have developed a new hybrid approximation algorithm. The...
S. N. Sivanandam, P. Visalakshi, A. Bhuvaneswari