748 search results - page 70 / 150 » Time and Probability in Process Algebra |
85
Voted
IR
2002
15 years 5 days ago
2002
An experimental adaptive filtering system, built on the Okapi search engine, is described. In addition to the regular text retrieval functions, the system requires a complex set o...
121
Voted
MICAI
2010
Springer
14 years 11 months ago
2010
Springer
Music is a form of expression. Since machines have limited capabilities in this sense, our main goal is to model musical composition process, to allow machines to express themselve...
ACISICIS
2005
IEEE
15 years 6 months ago
2005
IEEE
: This paper presents a queuing analysis model of a PC-based software router supporting IPv6-IPv4 translation for residential gateway. The proposed models are M/G/1/K or MMPP-2/G/1...
85
Voted
CVPR
2000
IEEE
16 years 2 months ago
2000
IEEE
We introduce a fast, multiscale algorithm for image segmentation. Our algorithm uses modern numeric techniques to nd an approximate solution to normalized cut measures in time tha...
107
click to vote
SAC
2010
ACM
15 years 21 days ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...