181
Scale Space and Variational Methods in Computer Vision [E-Book] : 4th International Conference, SSVM 2013, Schloss Seggau, Leibnitz, Austria, June 2-6, 2013. Proceedings /
Table of Contents: ... Method for Computing Average Images of Biological Organs -- A Hierarchical Approach to Optimal Transport -- Layered Mean Shift Methods -- Partial Optimality via Iterative Pruning for the Potts Model -- Wimmelbild Analysis with Approximate Curvature Coding...

Full text 
182
Combinatorial Pattern Matching [E-Book] : 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings /
Table of Contents: ...Searching and matching strings and more complicated patterns.-  Trees, regular expressions, graphs, point sets, and arrays.-  Non-trivial combinatorial properties of such structures.- Problems in computational biology -- Data compression and data mining...

Full text 
183
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics [E-Book] : 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013. Proceedings /
Table of Contents: ... and Elastic Measures for Time Series Gene Expression Classification -- Supervising Random Forest Using Attribute Interaction Networks -- Hybrid Genetic Algorithms for Stress Recognition in Optimal Use of Biological Expert Knowledge from Literature -- Mining in Ant...

Full text 
184
Programming Logics [E-Book] : Essays in Memory of Harald Ganzinger /
185
Bioinformatics Research and Applications [E-Book] : 9th International Symposium, ISBRA 2013, Charlotte, NC, USA, May 20-22, 2013. Proceedings /
Table of Contents: ...Peptide Identification from Mass Spectrometry -- Identifying Critical Transitions of Biological Processes by Dynamical Network Biomarkers -- Computational Behavioral Ecology -- Unusual RNA Structures: Information Content in RNAs from the “Prebiotic...

Full text 
186
Application and Theory of Petri Nets and Concurrency [E-Book] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings /
Table of Contents: ... Analysis of Continuous Petri Nets -- Step Persistence in the Design of GALS Systems -- A Taxonomy of Persistent and Nonviolent Steps -- Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology -- The Vehicle Relocation Problem in Car...

Full text 
187
Inductive Logic Programming [E-Book] : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers /
188
The Nature of Computation. Logic, Algorithms, Applications [E-Book] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
189
Analytical and Stochastic Modeling Techniques and Applications [E-Book] : 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings /
Table of Contents: ... and characterization -- Road traffic and transportation -- Social networks -- Measurements and hybrid techniques -- Modeling of virtualization -- Energy-aware optimization -- Stochastic modeling for systems biology -- Biologically inspired network design....

Full text 
190
Computer Vision – ACCV 2012 [E-Book] : 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part III /
Table of Contents: ... -- Tracking Growing Axons by Particle Filtering in 3D + t Fluorescent Two-Photon Microscopy Images -- Image Upscaling Using Multiple Dictionaries of Natural Image Patches -- A Biologically Motivated Double-Opponency Approach to Illumination Invariance -- Measuring...

Full text 
191
Software Engineering for Self-Adaptive Systems II [E-Book] : International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers /
192
Intelligent Information and Database Systems [E-Book] : 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part II /
193
Intelligent Information and Database Systems [E-Book] : 5th Asian Conference, ACIIDS 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings, Part I /
194
Human Interface and the Management of Information. Information and Interaction Design [E-Book] : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I /
Table of Contents: ... Extremity Through the Use of Various Sizes of Tablets and Characters -- Non-contact Measurement of Biological Signals Using Microwave Radar -- Leaning Origami Using 3D Mixed Reality Technique -- Managing HMI quality in embedded system development -- Window...

Full text 
195
Human-Computer Interaction. Applications and Services [E-Book] : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II /
Table of Contents: ... Two Different Learning Techniques -- A New E-learning System Focusing on Emotional Aspect Using Biological Signals -- A Framework to Support Social-Collaborative Personalized e-Learning -- Challenges for Contextualizing Language Learning: Supporting...

Full text 
196
Human-Computer Interaction. Towards Intelligent and Implicit Interaction [E-Book] : 15th International Conference, HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part V /
Table of Contents: ...: The Space Investor -- Responses Analysis of Visual and Linguistic Information on Digital Signage Using fNIRS -- A Method for Promoting Interaction Awareness by Biological Rhythm in Elementary School Children -- Internet Anxiety: Myth or Reality? -- Brain Function...

Full text 
197
Intelligent Computing Theories and Technology [E-Book] : 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings /
Table of Contents: ...Systems biology and computational biology -- cognitive science and computational neuroscience -- knowledge discovery and data mining -- machine learning theory and methods -- biomedical informatics theory and methods -- complex systems theory and methods...

Full text 
198
Computer Aided Verification [E-Book] : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings /
199
Biomimetic and Biohybrid Systems [E-Book] : Second International Conference, Living Machines 2013, London, UK, July 29 – August 2, 2013. Proceedings /
200
Spatial Information Theory [E-Book] : 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013. Proceedings /
Table of Contents: ... of Overlap -- Spatial Ontology -- Kinds of Full Physical Containment -- A Vocabulary of Topological and Containment Relations for a Practical Biological Ontology -- A Geo-ontology Design Pattern for Semantic Trajectories -- Spatial Reasoning and Representation...

Full text