1
Published 2013
Table of Contents: ... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Trees Detection in Very High Resolution Images -- A Fast Recursive Approach to Autonomous Detection...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Based Approach for Optimal Clustering of Distributed Program's Call Flow Graph -- Fuzzy Adaptive Swarm...
View full text
Electronic eBook
5
by Love, Jonathan., Love, Jonathan.
Published 2007
Table of Contents: ... Interface -- Integrated Alarm Environment -- Analogue Control Loop -- Database Operations and Structure...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Preferences Aggregation -- Ranked Modelling with Feature Selection Based on the CPL Criterion Functions -- A...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Elicitation and Incorporation into Class Diagrams -- Case-Based Reasoning -- Architectures Integrating Case...
View full text
Electronic eBook