Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
programming extraction » programming abstraction, programming abstractions, program extraction
interactive computing » interactive computer
computing programming » computer programming, computers programming
extraction https » interaction https, exertion https, interactions https
programming programming » programming programmed, programming program
programming extraction » programming abstraction, programming abstractions, program extraction
interactive computing » interactive computer
computing programming » computer programming, computers programming
extraction https » interaction https, exertion https, interactions https
1
Published 2008
Table of Contents:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... Strategies -- A Unified Approach for Semantic-Based Multimodal Interaction -- Building Multimodal Dialog User...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... Monitoring Solutions in an Ageing Society -- The Impact of Explanation Dialogues on Human-Computer Trust...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Interaction Using Concept Hierarchies -- Estimating Top-k Destinations in Data Streams -- A Data Mining...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... Resolution -- Formalizing Bounded Increase -- Formal Program Optimization in Nuprl Using Computational...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... Programs Extraction -- Experience Implementing a Performant Category-Theory Library in Coq -- A New...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... to Universal Integration: Search Computing the Imperative Way -- 6: Web Data Extraction for Service Creation...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...-step EMG Classification Algorithm for Human-Computer Interaction -- Affective Assessment of a Computer...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Program Extraction in the Calculus of Constructions -- Building Decision Procedures in the Calculus...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... Built Upon Wireless Sensor Network -- Feature Extraction and Selection for Recognizing Humans...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...”View full text
Electronic
eBook
15
Table of Contents:
“...The Object Flow Graph -- Class Diagram -- Object Diagram -- Interaction Diagrams -- State Diagrams...”
View full text
View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... -- Computability and randomness -- Logical foundations of programming -- Logical aspects of computational...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Session 5: Feature Extraction and Object Detection -- Vehicle Headlights Detection Using Markov Random...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“...-Throughput Sequencing -- Extracting Between-Pathway Models from E-MAP Interactions Using Expected Graph...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“...Exploiting Intensity Inhomogeneity to Extract Textured Objects from Natural Scenes -- Exploiting...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”View full text
Electronic
eBook