Resultats de la cerca - interactive visualization https program composition https

1

Advances in Visual Computing 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29-December 1, 2010, Proceedings, Part II /

Publicat 2010

Taula de continguts: “... Using Visual Analysis of Robot Interactions -- Registration -- A Novel Consistency Regularizer...”
Obtenir text complet

Electrònic eBook

2

Cooperative Design, Visualization, and Engineering 4th International Conference, CDVE 2007, Shanghai,China, September 16-20, 2007 /

Publicat 2007

Taula de continguts: “... Interface for Visualizing Collaborative Annotations -- Innovative Visualization Tools to Monitor Scientific...”
Obtenir text complet

Electrònic eBook

3

Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers /

Publicat 2007

Taula de continguts: “...)composition -- Haptics and Multimodality -- Exploring the Specification of Haptic Interaction -- Analysis...”
Obtenir text complet

Electrònic eBook

4

Towards the Internet of Services: The THESEUS Research Program

Publicat 2014

Taula de continguts: “... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”
Obtenir text complet

Electrònic eBook

5

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers /

Publicat 2005

Taula de continguts: “...: A Practical Solution Incorporating Constraint Programming and Heuristics -- An Interactive Tool...”
Obtenir text complet

Electrònic eBook

6

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Publicat 2008

Taula de continguts: “... Improvement Via Pattern Matching -- Object Composition in Scenario-Based Programming -- Regular Inference...”
Obtenir text complet

Electrònic eBook

7

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings /

Publicat 2005

Taula de continguts: “...-Based Program Inspection -- Visualizing and Simulating Semantic Web Services Ontologies -- A Model...”
Obtenir text complet

Electrònic eBook

8

Diagrammatic Representation and Inference 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings /

Publicat 2006

Taula de continguts: “... Algorithm for Peirce’s Existential Graphs -- Canonical Correlation Analysis: Use of Composite Heliographs...”
Obtenir text complet

Electrònic eBook

9

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings /

Publicat 2006

Taula de continguts: “... UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context...”
Obtenir text complet

Electrònic eBook

10

Coordination Models and Languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings /

Publicat 2010

Taula de continguts: “... for Boxes and Traits in a Java-Like Setting -- JErlang: Erlang with Joins -- A Hybrid Visual Dataflow...”
Obtenir text complet

Electrònic eBook

11

End-User Development 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013, Proceedings /

Publicat 2013

Taula de continguts: “... Experiences of Visual and Textual Programming -- Enabling end users to create, annotate and share personal...”
Obtenir text complet

Electrònic eBook

12

Computers and Education: Towards Educational Change and Innovation

Publicat 2008

Taula de continguts: “... for the Learning of Inheritance in Oriented-Object Programming -- Visualization and Role-play to Teach Object...”
Obtenir text complet

Electrònic eBook

13

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Publicat 2008

Taula de continguts: “... Checking Component Interactions -- Formal Definition of MOF 2.0 Metamodel Components and Composition...”
Obtenir text complet

Electrònic eBook

14

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

Publicat 2010

Taula de continguts: “... -- Navigating the Web of Things: Visualizing and Interacting with Web-Enabled Objects -- Shaping Future Service...”
Obtenir text complet

Electrònic eBook

15

High Performance Computing Systems and Applications 23rd International Symposium, HPCS 2009, Kingston, Ontario, Canada, June 14-17, 2009, Revised Selected Papers /

Publicat 2010

Taula de continguts: “... Frequency and Ultrashort Laser-Gas Interaction -- The Implementation of Polarizable and Flexible Models...”
Obtenir text complet

Electrònic eBook

16

Search Computing Trends and Developments /

Publicat 2011

Taula de continguts: “... Exploration in Search Computing -- Trends in Search Interaction -- Interaction Design:- Context and Action...”
Obtenir text complet

Electrònic eBook

17

Web Engineering 10th International Conference, ICWE 2010, Vienna, Austria, July 5-9, 2010. Proceedings /

Publicat 2010

Taula de continguts: “...-Aware Interaction Approach to Handle Users Local Contexts in Web 2.0 -- Rethinking Microblogging: Open...”
Obtenir text complet

Electrònic eBook

18

From Animals to Animats 11 11th International Conference on Simulation of Adaptive Behavior, SAB 2010, Paris - Clos Lucé, France, August 25-28, 2010. Proceedings /

Publicat 2010

Taula de continguts: “... of Robot-Environment Interaction Have a Meaning? -- Information Dynamics of Evolved Agents -- Taming...”
Obtenir text complet

Electrònic eBook

19

Advances in Artificial Intelligence: Theories, Models, and Applications 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. Proceedings /

Publicat 2010

Taula de continguts: “... from Speech -- Audio-Visual Fusion for Detecting Violent Scenes in Videos -- Experimental Study on a...”
Obtenir text complet

Electrònic eBook

20

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Publicat 2005

Taula de continguts: “... Monitoring and Debugging Using the Mercury Monitoring System -- Interactive Visualization of Grid Monitoring...”
Obtenir text complet

Electrònic eBook

Refinar cerca