1
Published 2015
Table of Contents: ...-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis -- Assume-Guarantee Synthesis...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Equations in *-continuous Action Lattices -- Reactive Probabilistic Programs and Refinement Algebra...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Concept Mining: A Statistic-Based Approach for Pertinent Concept Lattice Construction -- A Robust Approach...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Systems -- Unfolding-Based Diagnosis of Systems with an Evolving Topology -- On the Construction of Sorted...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... and Feature Construction to Improve Concept Learning for High Dimensional Data -- A Qualitative Spatio...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... of Content-Based and Link-Based Ranking in Web Search -- Rough Sets in Hybrid Soft Computing Systems...
View full text
Electronic eBook