1
Published 2012
Table of Contents: ... Preset Distinguishing Sequences Using SAT -- A Decision-Making Ontology for Analytical Requirements...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Decision Logic -- Transforming Information Systems -- A Discrete Event Control Based on EVALPSN Stable...
View full text
Electronic eBook
3
Published 2012
Table of Contents: ... -- Generating Realistic Online Auction Data -- Computer Vision A Robust Global Motion Estimation for Digital...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Constraint Satisfaction Problems -- A SAT-Based Decision Procedure for Mixed Logical/Integer Linear Problems...
View full text
Electronic eBook