Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings /
This book comprises the refereed proceedings of the Workshop on Computation: Theory and Practice (WCTP)-2012, held in Manila, The Philippines, in September 2012. The workshop was organized by the Tokyo Institute of Technology, the Institute of Scientific and Industrial Research-Osaka University, the...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | , , , |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Tokyo :
Springer Japan : Imprint: Springer,
2013.
|
Edición: | 1st ed. 2013. |
Colección: | Proceedings in Information and Communications Technology,
7 |
Temas: | |
Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- On Generating Soft Real-Time Programs for Non-Real-Time Environments
- A Formal Ontology of Interactions with Intensional Quantitative Semantics
- An Object Calculus with Remote Method Invocation
- A Metric for User Requirements Traceability in Sequence, Class Diagrams, and Lines-Of-Code via Robustness Diagrams
- Some Improvements of Parallel Random Projection for Finding Planted (l, d)-Motifs
- Time after Time: Notes on Delays in Spiking Neural P Systems
- A Grammar for Detecting Well-Handled 2-split, 2-join Workflow Nets without Cycles
- A Process Algebra Model of Interleukin-2 Trafficking in Hematopoeitic Cells
- Membrane Computing with Genetic Algorithm for the Travelling Salesman Problem
- Solving the Exact Pattern Matching Problem Constrained to Single Occurrence of Pattern P in String S Using Grover's Quantum Search Algorithm
- Design of a Scala-Based Monitoring Server for Web-Based Programming Environments
- Recognizing Historical KANA Texts Using Constraints
- PedInfoSys: An OpenMRS Based Pediatric Information System
- Correlation of Stress Inducers and Physiological Signals with Continuous Stress Annotations
- Towards the Design and Development of Anticipation-Based Event Selection Modeling for Survival Horror Games
- Sidekick Retrospect: A Self-regulation Tool for Unsupervised Learning Environments
- Extensible Network Appliance Platform (e-NAP)
- Marker-Less Gesture and Facial Expression Based Affect Modeling
- Mobile Indoor Positioning Using Wi-fi Localization and Image Processing
- Automated Vehicle Entrance Monitor Using Pattern Recognition via Haar Classifiers
- A Study on Activity Predictive Modeling for Prompt and Delayed Services in Smart Space
- Plagiarism Detection Methods by Similarity and Its Application to Source Codes of C Program.