10061 search results - page 556 / 2013 » Statistical Models of Conditioning |
179
click to vote
LPAR
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
221
Voted
APWEB
2004
Springer
16 years 25 days ago
2004
Springer
In this paper, a novel formalized finite state mobile agent computation model based on the virtual organization is presented. In this model, all the actions (e.g. service, migratio...
178
click to vote
ECRTS
2003
IEEE
16 years 22 days ago
2003
IEEE
A theory of resource sharing in a mixed system with hard real-time and non-real-time processing requirements is presented. The real-time processing is modeled as rate-based execut...
150
Voted
CSR
2006
Springer
15 years 11 months ago
2006
Springer
Many studies have shown that the imbalance of network channel traffic is of critical effect on the overall performance of multicomputer systems. In this paper, we analytically mode...
217
click to vote
ICIP
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper describes a supervised segmentation algorithm which draws inspiration from recent advances in non-parametric texture synthesis. A set of example images which have been ...