Rezultaty - interaction computing proceedings program compact https

1

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings /

Wydane 2011

Hasła przedmiotowe: “...Discrete Mathematics in Computer Science. https://scigraph.springernature.com/ontologies/product...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

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

Wydane 2012

Spis treści: “...MetiTarski: Past and Future -- Computer-Aided Cryptographic Proofs -- A Differential Operator...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

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

Wydane 2010

Spis treści: “...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /

Wydane 2005

Spis treści: “...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /

Wydane 2015

Spis treści: “... Approach to Reason with Conditionals -- Interactive debugging of non-ground ASP programs -- Linking Open...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Ubiquitous Computing Systems 4th International Symposium, UCS 2007, Tokyo, Japan, November 25-28, 2007, Proceedings /

Wydane 2007

Spis treści: “... Computing Platform Based on an Egocentric Interaction Model -- mCube – Towards a Versatile Gesture Input...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference...

Wydane 2014

Spis treści: “... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Advances in Visual Computing Second International Symposium, ISVC 2006, Lake Tahoe, NV, USA, November 6-8, 2006, Proceedings, Part I /

Wydane 2006

Spis treści: “... Visualization -- Physically Interacting with Four Dimensions -- Low Level Moving-Feature Extraction Via Heat...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings /

Wydane 2010

Spis treści: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Network and Parallel Computing IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007, Proceedings /

Wydane 2007

Spis treści: “... Techniques -- A Hierarchical Programming Model for Large Parallel Interactive Applications -- Design of a...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Computer Vision Systems 6th International Conference on Computer Vision Systems, ICVS 2008 Santorini, Greece, May 12-15, 2008, Proceedings /

Wydane 2008

Spis treści: “... in the Wavelet Domain -- Computer Vision Architectures -- Feature Extraction and Classification by Genetic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Computer Vision - ECCV 2008 10th European Conference on Computer Vision, Marseille, France, October 12-18, 2008, Proceedings, Part I /

Wydane 2008

Spis treści: “... -- Semidefinite Programming Heuristics for Surface Reconstruction Ambiguities -- Robust Optimal Pose Estimation...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV /

Wydane 2010

Spis treści: “... Dynamics on Grid Platforms: Some Effects of Long Range Interactions on the Reactivity of N + N2...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Applications of Evolutionary Computation EvoApplications 2010: EvoCOMPLEX, EvoGAMES, EvoIASP...

Wydane 2010

Spis treści: “...EvoCOMPLEX Contributions -- Coevolutionary Dynamics of Interacting Species -- Evolving Individual...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Wydane 2010

Spis treści: “... Stack Implementation -- Programming Aids -- First-Order Interactive Programming -- An ER-Based Framework...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings /

Wydane 2008

Spis treści: “... Verification of Concurrent Programs -- Combining Static and Dynamic Reasoning for the Discovery of Program...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /

Wydane 2008

Spis treści: “... Orders -- Normal Form Nested Programs -- A Logic for Closed-World Interaction -- Declarative Semantics...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Advances in Web-Based Learning - ICWL 2010 9th International Conference, Shanghai, China, December 8-10, 2010, Proceedings /

Wydane 2010

Spis treści: “... -- Incorporating an Automatic Judge into Blended Learning Programming Activities -- Visualizing Activities for Self...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

KI 2012: Advances in Artificial Intelligence 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012, Proceedings /

Wydane 2012

Spis treści: “... for Aggregation Semantics of Relational Conditionals -- Developing of a Multimodal Interactive Training System...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I /

Wydane 2010

Spis treści: “... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty