1529 search results - page 119 / 306 » Energy-Based Models of P Systems |
123
click to vote
SKG
2005
IEEE
15 years 9 months ago
2005
IEEE
Most existing Peer-to-peer (P2P) systems support only title-based searches, which can not satisfy the content searches. In this paper, we proposed a semantic correlativity model wh...
129
click to vote
JNCA
2007
15 years 3 months ago
2007
The fusion of Multimedia and Internet technology has introduced an ever-increasing demand for large-scale reliable media services. This exposes the scalability limitations of curr...
110
click to vote
CMPB
2008
15 years 3 months ago
2008
A cardiovascular system (CVS) model has previously been validated in simulated cardiac and circulatory disease states. It has also been shown to accurately capture all main hemody...
129
click to vote
ESSMAC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Gaussian process models provide a probabilistic non-parametric modelling approach for black-box identification of nonlinear dynamic systems. The Gaussian processes can h...
150
click to vote
CAI
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...