Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs constructive » program construction, program constructing, problem constructive
processing programs » processing programmed, processing problems, processing products
constructive https » construction https, constructive type, constructive help
interface methods » internal methods, interference methods, interactive methods
interval methods » internal methods, interval method, integral methods
programs constructive » program construction, program constructing, problem constructive
processing programs » processing programmed, processing problems, processing products
constructive https » construction https, constructive type, constructive help
interface methods » internal methods, interference methods, interactive methods
interval methods » internal methods, interval method, integral methods
1
Published 2007
Table of Contents:
“...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“...-Agent Construction Method for Software Process Modeling in SoftPM -- Applying Little-JIL to Describe...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... and Personalized Interfaces -- A Model and Guidelines for the Interface Design Process for Adaptive Web...”View full text
Electronic
eBook
4
Business Process Management Workshops BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM...
Published 2006
Table of Contents:
“... with Obligations and Permissions -- Design Methods for Collaborative Emergent Processes -- Process Design...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Conversions and Interval Arithmetic -- An Interval Method for Seeking the Nash Equilibria of Non-cooperative...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... in MPI Programs -- Proof Patterns for Formal Methods -- Efficient Runtime Monitoring with Metric Temporal...”View full text
Electronic
eBook
9
Table of Contents:
“... -- Interfaces and Nested Classes -- Aspects of Programming -- Programming Style -- Testing and Debugging...”
View full text
View full text
Electronic
eBook
10
Natural Language Processing and Information Systems 10th International Conference on Applications...
Published 2005
Table of Contents:
“... Directory Construction Using Lexical Chains -- Email Categorization with Tournament Methods -- Knowledge...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...”View full text
Electronic
eBook
12
Published 2012
Table of Contents:
“... Complexity and Cognitive Performance in a Human Computer Interface Experiment -- Interval-Valued Fuzzy...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... for Retrospective Analysis of Release Planning Decisions -- A Qualitative Evaluation Method for Business Process...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... for Web Usage Mining -- Knowledge-Based Decision Support in Oil Well Drilling -- A New Method to Construct...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... Decision Tree Learning -- NLP (Natural Language Processing) for NLP (Natural Language Programming...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... Models for Audio-Visual Speech Analysis and Recognition -- An Extensive Method to Detect the Image...”View full text
Electronic
eBook
18
Advances in Multimedia Information Processing - PCM 2005 6th Pacific Rim Conference on Multimedia...
Published 2005
Table of Contents:
“... and Construction of the Caddy Robot -- Rapid Algorithms for MPEG-2 to H.264 Transcoding -- A New Method...”View full text
Electronic
eBook
19
Table of Contents:
“... in regression -- Model-free prediction in regression -- Model-free vs. model-based confidence intervals...”
View full text
View full text
Electronic
eBook
20
Table of Contents:
“...The Communication Mechanism of Cognition -- Matters of Method -- Interfaces and Components -- Data...”
View full text
View full text
Electronic
eBook