549 search results - page 99 / 110 » Verification condition generation for conditional informatio... |
136
click to vote
BC
2006
15 years 4 months ago
2006
Abstract Multiple sensory-motor maps located in the brainstem and the cortex are involved in spatial orientation. Guiding movements of eyes, head, neck and arms they provide an app...
133
click to vote
IM
2008
15 years 3 months ago
2008
In this paper we consider three models for random graphs that utilize the inner product as their fundamental object. We analyze the behavior of these models with respect to cluster...
156
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Microarray technology is generating huge amounts of data about the expression level of thousands of genes, or even whole genomes, across different experimental conditi...
163
click to vote
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
Security views are a flexible and effective mechanism for controlling access to confidential information. Rather than allowing untrusted users to access source data directly, th...
183
click to vote
BERTINORO
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper describes the application of a decentralised coordination algorithm, called Collaborative Reinforcement Learning (CRL), to two different distributed system pr...