Resultados da busca - interface methods proceedings program sampling https

1

Simulation, Modeling, and Programming for Autonomous Robots Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings /

Publicado em 2012

Sumário: “... -- An Evaluation Method for Smart Variable Space in Living Space -- Modeling Robot Behavior with CCL -- Visual...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

2

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium...

Publicado em 2012

Sumário: “....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

3

Diagrammatic Representation and Inference 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Proceedings /

Publicado em 2008

Sumário: “... Epistemic Interface Design -- Enhancing State-Space Tree Diagrams for Collaborative Problem Solving...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

4

Advances in Information and Computer Security 5th International Worshop on Security, IWSEC 2010, Kobe, Japan, November 22-24, 2010, Proceedings /

Publicado em 2010

Sumário: “... Decryption Exponent -- PA1 and IND-CCA2 Do Not Guarantee PA2: Brief Examples -- A Generic Method for Reducing...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

5

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Proceedings /

Publicado em 2005

Sumário: “... Dynamic Joint Protocols Selection Method to Perform Collaborative Tasks -- A Formal Framework...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

6

Foundations of Intelligent Systems 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings /

Publicado em 2005

Sumário: “... and Processing Technique for an XML Search Engine -- Adapting the Object Role Modelling Method for Ontology...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

7

Ubiquitous Intelligence and Computing 7th International Conference, UIC 2010, Xi'an, China, October 26-29, 2010, Proceedings /

Publicado em 2010

Sumário: “...Keynote Speeches -- Programming Pervasive Spaces -- Ubiquitous Experience Media -- The Operating...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

8

Ubiquitous Computing Systems Third International Symposium, UCS 2006, Seoul, Korea, October 11-13, 2006, Proceedings /

Publicado em 2006

Sumário: “... Environment -- Affordance-Based Design of Physical Interfaces for Ubiquitous Environments -- Systems...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

9

Advances in Multimedia Modeling 14th International Multimedia Modeling Conference, MMM 2008, Kyoto, Japan, January 9-11, 2008, Proceedings /

Publicado em 2008

Sumário: “... -- Web Image Gathering with a Part-Based Object Recognition Method -- A Query Language Combining Object...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

10

Computational Collective Intelligence. Technologies and Applications Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part II /

Publicado em 2010

Sumário: “... Oral Training -- A Gene Selection Method for Microarray Data Based on Sampling -- The Similarity...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

11

Algorithms in Bioinformatics 6th International Workshop, WABI 2006, Zurich, Switzerland, September 11-13, 2006, Proceedings /

Publicado em 2006

Sumário: “... -- Decomposing Metabolomic Isotope Patterns -- A Method to Design Standard HMMs with Desired Length Distribution...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

12

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

Publicado em 2010

Sumário: “... Algorithm for Edge Detection in Fluorescent Cell Images -- A Non-rigid Multimodal Image Registration Method...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

13

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

Publicado em 2010

Sumário: “... of Orbital Images -- Random Sampling Nonlinear Optimization for Camera Self-calibration with Modeling...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

14

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings /

Publicado em 2007

Sumário: “... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

15

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part II /

Publicado em 2007

Sumário: “... Programming Classification Method -- Kimberlites Identification by Classification Methods -- A Fast Method...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

16

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part III /

Publicado em 2007

Sumário: “... Method Based on Received Signal Strength -- Optimization of the Switches in Storage Networks -- Migration...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

17

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

Publicado em 2006

Sumário: “... Sequences -- A Natural Interface for Sign Language Mathematics -- A Novel Gait Recognition Method Via Fusing...”
Obter o texto integral

Recurso Eletrônico livro eletrônico