3495 search results - page 212 / 699 » On the random satisfiable process |
191
click to vote
EWSA
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. Documenting software architectures is a key aspect to achieve success when communicating the architecture to different stakeholders. Several architectural views have been...
195
click to vote
CN
2004
15 years 7 months ago
2004
The problem of testing from an SDL specification is often complicated by the presence of infeasible paths. This paper introduces an approach for transforming a class of SDL specif...
175
click to vote
JHSN
2000
15 years 7 months ago
2000
We consider communication primitives that can be executed by an application process to exchange messages with another application process over a TCP/IP network. A communication pri...
198
click to vote
AC
2003
Springer
16 years 12 days ago
2003
Springer
Abstract—The dynamics of the survival of recruiting fish are analyzed as evolving random processes of aggregation and mortality. The analyses draw on recent advances in the phys...
196
click to vote
ICIP
2008
IEEE
16 years 9 months ago
2008
IEEE
In this paper we carry out cooperatively both disparity and object boundary estimation by setting the two tasks in a unified Markovian framework. We introduce a new joint probabil...