|
Formal Approaches in Modelling |
|
|
|
On the Physical Formal and Semantic Frontiers Between Human Knowing and Machine Knowing |
|
|
1 | (8) |
|
|
Approximation Problems Categories |
|
|
9 | (6) |
|
Liara Aparecida dos Santos Leal |
|
|
|
|
|
Computation of Partial Automata Through Span Composition |
|
|
15 | (6) |
|
|
|
|
Degenerate Arrays: A Framework for Uncertain Data Tables |
|
|
21 | (6) |
|
|
Neural Network Sensitivity Analysis Applied for the Reduction of the Sensor Matrix |
|
|
27 | (6) |
|
|
|
|
|
|
Fuzzy Modeling for Coal Seams A Case Study for a Hard-Coal Mine |
|
|
33 | (5) |
|
|
|
|
|
|
|
|
Optimization of a Class of Uncertain Systems Based on Uncertain Variables |
|
|
38 | (6) |
|
|
Computational Simulation of Categorical Constructions |
|
|
44 | (6) |
|
|
|
Composing Transitions into Transactions in UML Diagrams |
|
|
50 | (6) |
|
|
|
Theory-Building with System Dynamics: Principles and Practices |
|
|
56 | (7) |
|
|
|
Ontology Integration for Statistical Information |
|
|
63 | (6) |
|
|
|
Intelligent Information Systems |
|
|
|
On Recursive Functions and Well--Founded Relations in the Calculus of Constructions |
|
|
69 | (12) |
|
|
|
|
Longest Sorted Sequence Algorithm for Parallel Text Alignment |
|
|
81 | (10) |
|
|
|
Information Retrieval and Large Text Structured Corpora |
|
|
91 | (10) |
|
|
|
|
Meteorological Image Descriptors |
|
|
101 | (10) |
|
|
|
|
|
Towards a Certified and Efficient Computing of Grobner Bases |
|
|
111 | (10) |
|
|
|
|
|
CheapTB: A Low Cost of Operation Distributed Filesystem |
|
|
121 | (10) |
|
|
|
|
Spelling Correction on Technical Documents |
|
|
131 | (9) |
|
|
|
|
Verification of Language Based Fault-Tolerance |
|
|
140 | (10) |
|
|
|
Applying Stacking and Corpus Transformation to a Chunking Task |
|
|
150 | (9) |
|
|
|
|
|
|
Extracting Computer Algebra Programs from Statements |
|
|
159 | (10) |
|
|
|
|
Integrating Syntactic Information by Means of Data Fusion Techniques |
|
|
169 | (10) |
|
|
|
|
Unsupervised Learning in Information Retrieval Using NOW Architectures |
|
|
179 | (10) |
|
|
|
|
|
|
|
An Iterative Method for Mining Frequent Temporal Patterns |
|
|
189 | (10) |
|
|
|
|
|
Information Applications Components |
|
|
|
Data Mining with Scatter Search |
|
|
199 | (6) |
|
|
|
|
|
|
|
Web Usage Mining Project for Improving Web-Based Learning Sites |
|
|
205 | (6) |
|
|
|
|
|
|
Similarity Queries in Data Bases Using Metric Distances - from Modeling Semantics to Its Maintenance |
|
|
211 | (6) |
|
|
|
A Web-Case Tool Prototype for Hybrid Software Development |
|
|
217 | (6) |
|
|
|
|
|
An Augmentative Communication System Based on Adaptive Evolutionary Hypermedia Systems |
|
|
223 | (6) |
|
|
|
|
|
The Gaps of the Thesaurus Wordnet Used in Information Retrieval |
|
|
229 | (6) |
|
|
|
|
Fuzzy Adaptive Objects (Logic of Monitors) |
|
|
235 | (6) |
|
|
|
|
A Model-Based Architecture for Fuzzy Temporal Diagnosis |
|
|
241 | (6) |
|
|
|
|
|
|
|
Extension of Ontologies Assisted by Automated Reasoning Systems |
|
|
247 | (7) |
|
|
Antonia M. Chavez-Gonzalez |
|
|
A Software Architecture for Effective Document Identifier Reassignment |
|
|
254 | (9) |
|
|
|
An Ontology for Reusing Synthetic Tasks |
|
|
263 | (6) |
|
Abraham Rodriguez-Rodriguez |
|
|
Francisca Quintana-Dominguez |
|
|
A Tractable Subclass of Fuzzy Constraint Networks |
|
|
269 | (6) |
|
|
|
|
Parallel State Space Generation and Exploration on Shared-Memory Architectures |
|
|
275 | (6) |
|
|
|
|
Towards Automated Controlling of Human Projectworking Based on Multiagent Systems |
|
|
281 | (10) |
|
|
|
Cryptography and Spectral Analysis |
|
|
|
Tree-Structured Legendre Multi-wavelets |
|
|
291 | (10) |
|
|
|
|
|
Remarks on Calculation of Autocorrelation on Finite Dyadic Groups by Local Transformations of Decision Diagrams |
|
|
301 | (10) |
|
|
|
A New Pseudo-Random Generator Based on Gollmann Cascades of Baker-Register-Machines |
|
|
311 | (6) |
|
|
|
An Excellent Permutation Operator for Cryptographic Applications |
|
|
317 | (10) |
|
|
Fault Cryptanalysis of ElGamal Signature Scheme |
|
|
327 | (10) |
|
|
|
Complexity-Theoretical Approaches to the Design and Analysis of Cryptographical Boolean Functions |
|
|
337 | (9) |
|
Juan David Gonzalez Cobas |
|
|
Jose Antonio Lopez Brugos |
|
|
Algorithm for Proving the Knowledge of an Independent Vertex Set |
|
|
346 | (9) |
|
|
Candelaria Hernandez-Goya |
|
|
Improvement of the Edit Distance Attack to Clock-Controlled LFSR-Based Stream Ciphers |
|
|
355 | (10) |
|
|
|
Protocol Analysis for Concrete Environments |
|
|
365 | (8) |
|
|
|
|
Pattern Recognition in AVHRR Images by Means of Hibryd and Neuro-fuzzy Systems |
|
|
373 | (6) |
|
|
|
|
|
Image Processing Techniques for Braille Writing Recognition |
|
|
379 | (7) |
|
|
|
|
|
Retinal Based Authentication via Distributed Web Application |
|
|
386 | (6) |
|
|
|
|
Skeleton Extraction of 2D Objects Using Shock Wavefront Detection |
|
|
392 | (6) |
|
|
|
Cue Combination for Robust Real-Time Multiple Face Detection at Different Resolutions |
|
|
398 | (6) |
|
Modesto Castrillon-Santana |
|
|
|
|
|
Evolutionary Color Constancy Algorithm Based on the Gamut Mapping Paradigm |
|
|
404 | (6) |
|
|
|
|
|
Vision Based Automatic Occupant Classification and Pose Recognition for Smart Airbag Deployment |
|
|
410 | (6) |
|
|
|
|
|
|
|
|
|
A Wiener Neuronal Model with Refractoriness |
|
|
416 | (10) |
|
|
|
|
On Myosin II Dynamics: From a Pulsating Ratchet to a Washboard Potential |
|
|
426 | (10) |
|
|
|
|
|
Feedback Effects in Simulated Stein's Coupled Neurons |
|
|
436 | (11) |
|
|
|
|
Upcrossing First Passage Times for Correlated Gaussian Processes |
|
|
447 | (10) |
|
|
|
|
Convergence of Iterations |
|
|
457 | (10) |
|
|
Semiautomatic Snake-Based Segmentation of Solid Breast Nodules on Ultrasonography |
|
|
467 | (6) |
|
|
|
|
|
|
Jose M. Santana-Montesdeoca |
|
|
Parallel Progressive Multiple Sequence Alignment |
|
|
473 | (10) |
|
|
Concepts and Systems Tools for Modelling Signal Processing in Vertebrate Retina |
|
|
483 | (9) |
|
|
|
|
Application of Multichannel Vision Concepts and Mechanisms in an Artificial Industrial Vision System |
|
|
492 | (9) |
|
|
|
|
Intelligent Vehicular Systems |
|
|
|
Soft Computing and Geometrical Control for Computer Aided Driving |
|
|
501 | (6) |
|
|
|
|
|
A Monocular Solution to Vision-Based ACC in Road Vehicles |
|
|
507 | (6) |
|
|
|
|
|
Multi-objective Dynamic Optimization for Automatic Parallel Parking |
|
|
513 | (6) |
|
|
|
Electric Power Steering Automation for Autonomous Driving |
|
|
519 | (6) |
|
|
|
|
|
Computer Vision Application: Real Time Smart Traffic Light |
|
|
525 | (6) |
|
|
|
Licesio J. Rodriguez-Aragon |
|
|
|
|
Permanency Memories in Scene Depth Analysis |
|
|
531 | (6) |
|
|
|
Antonio Fernandez-Caballero |
|
|
|
|
|
Pedestrian Detection for Intelligent Vehicles Based on Active Contour Models and Stereo Vision |
|
|
537 | (6) |
|
|
|
|
|
Fast Road Sign Detection Using Hough Transform for Assisted Driving of Road Vehicles |
|
|
543 | (6) |
|
Miguel Angel Garcia-Garrido |
|
|
|
|
Robotic Soccer, Robotics and Control |
|
|
|
|
549 | (10) |
|
|
Current and Future Trends and Challenges in Robot Soccer |
|
|
559 | (6) |
|
|
|
Strategy and Communication in Robotic Soccer Game |
|
|
565 | (6) |
|
|
|
|
|
Rete Algorithm Applied to Robotic Soccer |
|
|
571 | (6) |
|
|
Francisco J. Martin-Mateos |
|
|
|
Towards a Biomathematical Model of Intentional Autonomous Multiagent Systems |
|
|
577 | (7) |
|
|
|
A Controller Network for a Humanoid Robot |
|
|
584 | (6) |
|
|
|
|
Programming by Integration in Robotics |
|
|
590 | (6) |
|
|
Antonio C. Dominguez-Brito |
|
|
|
|
A Mathematical Formalism for the Evaluation of C-Space for Redundant Robots |
|
|
596 | (6) |
|
|
|
|
|
Global Modal Logics for Multiagent Systems: A Logical Fibering Approach |
|
|
602 | (6) |
|
|
Improved Non-standard Discretization Methods for Nonlinear Dynamical Control Systems |
|
|
608 | (6) |
|
|
|
|
Hierarchical Control of a Distributed Solar Collector Field |
|
|
614 | (7) |
|
|
|
|
|
|
|
|
|
Explanatory Analysis of Data from a Distributed Solar Collector Field |
|
|
621 | (6) |
|
|
|
|
|
|
Author Index |
|
627 | |