1
Published 2010
Table of Contents: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... with Natural Textures Based on Learning of Information Augmentation -- Improvements on CCA Model...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ...Consolidating and Exploring information via Textual Inference -- Pattern Discovery and Listing...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Relations to SQL Queries -- Binary Lexical Relations for Text Representation in Information Retrieval...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... -- Minimal Templates Problem -- The Inference Processes on Clustered Rules -- Extending Decision Units...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ...: The Computer’s View -- Tutorials -- Diagrams: A Perspective from Logic -- Drawing Euler Diagrams for Information...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ...Keynote Talk -- From Information to Intelligence: The Role of Relative Significance in Decision...
View full text
Electronic eBook
9
Published 2015
Table of Contents: ... for Concurrent Reactive Programs with Partial Information -- Shield Synthesis: Runtime Enforcement for Reactive...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... -- Counterexample-Guided Precondition Inference -- Information Reuse for Multi-goal Reachability Analyses...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ...Invited Papers -- Evolution of Enterprise Information Systems in the Internet Era -- Managing...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... for Software Quality -- Security Scheme for Managing a Large Quantity of Individual Information in RFID...
View full text
Electronic eBook
13
Published 2011
Table of Contents: ... Combining the Curvelet and LDP -- Constructing Maximum-Lifetime Data Gathering Tree without Data Aggregation...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Systems -- A Logic for Incomplete Sequential Information -- A Power-Enhanced Algorithm for Spatial Anomaly...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ... Algorithms -- Conceptual Information Retrieval System based on automatically constructed Semantic Word...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ... Processing of Linked Stream Data in the Cloud -- Towards Constructive Evidence of Data Flow-Oriented Web...
View full text
Electronic eBook
18
Published 2012
Table of Contents: ... Video Stabilization -- Automatic Construction of Invariant Features Using Genetic Programming for Edge...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... Structure -- Multimedia Data Mining -- Fast Training of Neural Networks for Image Compression -- Processing...
View full text
Electronic eBook
20
Published 2013
Table of Contents: ... the Operational, Tactic and Strategic Level by Means of CPM: An Example of the Construction Industry -- Adaptive...
View full text
Electronic eBook