279 search results - page 10 / 56 » Testing for Refinement in CSP |
128
Voted
ENTCS
1998
15 years 2 months ago
1998
Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes M.Z. Kwiatkowska and G.J. Norman School of Computer Science, University of Birmingham, Edgbaston, ...
103
click to vote
ICPR
2008
IEEE
16 years 3 months ago
2008
IEEE
Due to the increased need for security and surveillance, PTZ cameras are now being widely used in many domains. Therefore, it is very important for the applications like video mos...
108
Voted
ECAIW
2000
Springer
15 years 7 months ago
2000
Springer
In this paper we present a tabu approach for a version of the Sports League Scheduling Problem. The approach adopted is based on a formulation of the problem as a Constraint Satisf...
126
click to vote
COMPSYSTECH
2007
15 years 6 months ago
2007
: The paper proposes a different approach to data modeling. Analogous to the rejection method, where the misclassifications are removed and manually evaluated, we focus here on dif...
163
Voted
BMCBI
2011
14 years 9 months ago
2011
Background: Computational analysis of metagenomes requires the taxonomical assignment of the genome contigs assembled from DNA reads of environmental samples. Because of the diver...