Rezultati - interactive computing proceedings program functionality https

1

Human-Computer Interaction: Interaction Modalities and Techniques 15th International Conference...

Izdano 2013

Kazalo: “... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...”
Polni tekst

Elektronski eKnjiga

2

Human-Computer Interaction. Advanced Interaction, Modalities, and Techniques 16th International...

Izdano 2014

Kazalo: “... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...”
Polni tekst

Elektronski eKnjiga

3

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings /

Izdano 2012

Kazalo: “... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....”
Polni tekst

Elektronski eKnjiga

4

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Izdano 2015

Kazalo: “...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...”
Polni tekst

Elektronski eKnjiga

5

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna...

Izdano 2014

Kazalo: “... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”
Polni tekst

Elektronski eKnjiga

6

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Izdano 2008

Kazalo: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Polni tekst

Elektronski eKnjiga

7

Intelligent Technologies for Interactive Entertainment First International Conference, INTETAIN...

Izdano 2005

Kazalo: “...Long Papers -- COMPASS2008: Multimodal, Multilingual and Crosslingual Interaction for Mobile...”
Polni tekst

Elektronski eKnjiga

8

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Izdano 2010

Kazalo: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Polni tekst

Elektronski eKnjiga

9

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Izdano 2005

Kazalo: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Polni tekst

Elektronski eKnjiga

10

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings /

Izdano 2008

Kazalo: “... Toolkit for Plastic User Interfaces -- Executable Models for Human-Computer Interaction -- A Middleware...”
Polni tekst

Elektronski eKnjiga

11

Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings /

Izdano 2007

Kazalo: “... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”
Polni tekst

Elektronski eKnjiga

12

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Izdano 2014

Kazalo: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Polni tekst

Elektronski eKnjiga

13

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

Izdano 2008

Kazalo: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Polni tekst

Elektronski eKnjiga

14

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Izdano 2015

Kazalo: “... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”
Polni tekst

Elektronski eKnjiga

15

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /

Izdano 2015

Kazalo: “... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”
Polni tekst

Elektronski eKnjiga

16

Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007, Proceedings /

Izdano 2007

Kazalo: “... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...”
Polni tekst

Elektronski eKnjiga

17

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings /

Izdano 2010

Kazalo: “... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”
Polni tekst

Elektronski eKnjiga

18

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Izdano 2007

Kazalo: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Polni tekst

Elektronski eKnjiga

19

ECOOP 2006 - Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings /

Izdano 2006

Kazalo: “...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”
Polni tekst

Elektronski eKnjiga

20

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Izdano 2006

Kazalo: “... for the Alternating-Time ?-Calculus -- Space-Efficient Computation by Interaction -- The Ackermann Award 2006....”
Polni tekst

Elektronski eKnjiga

Zoži iskanje