Search results for "EUROCAST"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Aniello Buonocore, Luigia Caputo, Enrica Pirozzi, Luigi M. Ricciardi	Computation and Simulation in Modelling Biological Systems Simulation of Myosin II Dynamics Modeled by a Pulsating Ratchet with Double-Well Potentials.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Marta E. Zorrilla, D. Marín, Elena Álvarez	Towards Virtual Course Evaluation Using Web Intelligence.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Thomas Worsch, Hidenosuke Nishio	Variations on Neighborhoods in CA.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Miguel Ángel Sotelo, Ramón Flores, Ricardo García, Manuel Ocaña, Miguel Ángel García, Ignacio Parra, David Fernández 0001, Miguel Gavilán, José Eugenio Naranjo	Ego-Motion Computing for Vehicle Velocity Estimation.	EUROCAST	2007	DBLP DOI BibTeX RDF	Vision, Intelligent Vehicles, Ego-motion, Velocity Estimation
1	Werner Hein, Jens Berkmann, Manfred Zimmermann, Mario Huemer	Object Oriented Signal Data Structures in VLSI Implementations of Wireless Modems.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Joaquín Borrego-Díaz, Antonia M. Chávez-González	A Formal Foundation for Knowledge Integration of Defficent Information in the Semantic Web.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Masaharu Munetomo, Asim Munawar, Kiyoshi Akama	A Framework of GRID Problem-Solving Environment Employing Robust Evolutionary Search.	EUROCAST	2007	DBLP DOI BibTeX RDF	GRID computing, evolutionary algorithms, problem-solving environment
1	Lars-Åke Fredlund, Juan José Sánchez Penas	Model Checking a Video-on-Demand Server Using McErlang.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Heinz Dobler, Rudolf Ramler, Klaus Wolfmaier	A Study of Tool Support for the Evaluation of Programming Exercises.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Andreas Weidenhiller, Herbert Jodlbauer	Fast Generation of Production Schedules on a Single Machine.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Man-Wook Han, Peter Kopacek	Mini Robots for Soccer.	EUROCAST	2007	DBLP DOI BibTeX RDF	Robotics, Edutainment, Mechatronics, Robot Swarms
1	Wenhui Zhang	Verification of ACTL Properties by Bounded Model Checking.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Andreas Holzer, Johannes Kinder, Helmut Veith	Using Verification Technology to Specify and Detect Malware.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Carsten Sinz	Compressing Propositional Proofs by Common Subproof Extraction.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Alberto Salguero, Francisco Araque, Antonio Fernández-Parra, M. Isabel Jiménez, M. Carmen Vives	E-Learning Platform as a Teaching Support in Psychology.	EUROCAST	2007	DBLP DOI BibTeX RDF	teaching/learning strategies, postsecondary education, improving classroom teaching, intelligent tutoring system
1	Germano Resconi, Javier Alonso 0003	Fuzzy Adaptive Objects (Logic of Monitors as Agents).	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Marta Penas, María J. Carreira, Manuel G. Penedo, Noelia Barreira	Efficient Combination of the Fuzzy Hough Transform and the Burns Segment Detector.	EUROCAST	2007	DBLP DOI BibTeX RDF	Burns segment detector, Hough transform, Gabor wavelets, growing cell structures, chromaticity diagram
1	Juan Antonio Gómez Pulido, Juan M. Matas-Santiago, Francisco Pérez-Rodríguez, Miguel A. Vega-Rodríguez, Juan Manuel Sánchez-Pérez, Francisco Fernández de Vega	Hardware Modelling of Cellular Automata: The Game of Life Case.	EUROCAST	2007	DBLP DOI BibTeX RDF	FPGA, Cellular Automata, Reconfigurable Computing
1	Vladimir Krajca, Svojmil Petránek, Jitka Mohylová, Karel Paul, Václav Gerla, Lenka Lhotská	Neonatal EEG Sleep Stages Modelling by Temporal Profiles.	EUROCAST	2007	DBLP DOI BibTeX RDF	neonates, sleep stages, temporal profile, cluster analysis, EEG, adaptive segmentation
1	José-Antonio Alonso, Gonzalo A. Aranda-Corral, Francisco J. Martín-Mateos	KRRT: Knowledge Representation and Reasoning Tutor System.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Gabriel Kronberger, Roland Braune	Bandit-Based Monte-Carlo Planning for the Single-Machine Total Weighted Tardiness Scheduling Problem.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Luis Álvarez, Carlos A. Castaño-Moraga, Miguel García, Karl Krissian, Luis Mazorra, Agustín Salgado, Javier Sánchez Pérez	Second Order Variational Optic Flow Estimation.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Jan Nikodem	Modelling an Activity in Wireless Sensors Network.	EUROCAST	2007	DBLP DOI BibTeX RDF	teleogenic systems, wireless sensors network, holons
1	Milagros Fernández Gavilanes, Éric Villemonte de la Clergerie, Manuel Vilares Ferro	From Text to Knowledge.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Herbert Rosmanith, Dieter Kranzlmüller, Jens Volkert	An Interactive Job Manager for Globus.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Cyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden	Efficient Model Checking of Applications with Input/Output.	EUROCAST	2007	DBLP DOI BibTeX RDF	software testing, Software model checking, network communication
1	David Davis	Complex Software Problem Solving by Means of Abstractive Techniques.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Amelia G. Nobile, Enrica Pirozzi, Luigi M. Ricciardi	On the Estimation of First-Passage Time Densities for a Class of Gauss-Markov Processes.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Miguel A. Vega-Rodríguez, Juan Antonio Gómez Pulido, Enrique Alba 0001, David Vega-Pérez, Silvio Priem-Mendes, Guillermo Molina	Using Omnidirectional BTS and Different Evolutionary Approaches to Solve the RND Problem.	EUROCAST	2007	DBLP DOI BibTeX RDF	Omnidirectional BTS, RND, PBIL, CHC, SA, DE
1	Juan Otero, Jorge Graña, Manuel Vilares Ferro	Contextual Spelling Correction.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Carlos Abalde, Víctor M. Gulías, Laura M. Castro	Towards a Decentralized and Structured Network of P2P Public Information Screens.	EUROCAST	2007	DBLP DOI BibTeX RDF	P2P, Distributed Hash Table, Content Distribution Network
1	Daniel Hernández-Sosa, Jorge Cabrera 0001, Angel Naranjo, Antonio C. Domínguez, Josep Isern	MTVS: A Multi-task Active-Vision System.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Stephan Dreiseitl	Training Multiclass Classifiers by Maximizing the Volume Under the ROC Surface.	EUROCAST	2007	DBLP DOI BibTeX RDF	Multi-class ROC analysis, machine learning, discrimination analysis
1	Jan Nikodem, Maciej Nikodem	Secure and Scalable Communication in Vehicle Ad Hoc Networks.	EUROCAST	2007	DBLP DOI BibTeX RDF	node exclusion, security, ad hoc networks, key distribution
1	Josef Scharinger	A Systems Theoretic Approach to the Design of Scalable Cryptographic Hash Functions.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Roman Dudek, Carmelo Cuenca, Francisca Quintana	Accelerating Space Variant Gaussian Filtering on Graphics Processing Unit.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Rene Kobler, Thomas Köckerbauer, Ulrich Omasits, Martin Neumann, Wolfgang Schreiner, Jens Volkert	Interactive Molecular Dynamics Simulations on the Grid.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Javier Parapar, José M. Casanova, Alvaro Barreiro	NowOnWeb: News Search and Summarization.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Eloy J. Mata, Pedro Álvarez 0001, José A. Bañares, Julio Rubio 0001	Formal Reasoning on a Web Coordination System.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Angel Pérez de Madrid, P. Ruipérez, Miguel Romero 0003, Carolina Mañoso, Roberto Hernández	Computer Aided Development and Simulation of a Remote Control VTOL Tiltwing Model Aircraft.	EUROCAST	2007	DBLP DOI BibTeX RDF	VTOL, Tiltwings, Tiltrotors, Fly-by-wire, Control systems, Remote control, Flight simulation, Computer tools
1	Wilfried Kubinger, Franz Rinnerthaler, Christoph Sulzbachner, Josef Langer, Martin Humenberger	An Embedded Vision Sensor for Robot Soccer.	EUROCAST	2007	DBLP DOI BibTeX RDF	Embedded Vision System, Field-programmable Gate Array (FPGA), Digital Signal Processor (DSP), Robot Soccer
1	Michal Veselý, Herwig Mayr	Using Self-adapting Navigation Data for Intelligent, Personalized Vehicle Guidance.	EUROCAST	2007	DBLP DOI BibTeX RDF	navigation personalization, ADAS, GPS, digital maps, incremental update
1	Dietmar Wenzel	Sampling Rate Conversion for Timing Adjustment in 3.5G Multimode Mobile Terminals.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Roberto F. Arroyo, Miguel J. Hornos, Rosana Montes	Evolution of the Design and Implementation of Tutor: A Web-Based Educational System for University Courses.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Manuel Ocaña, Luis Miguel Bergasa, Miguel Ángel Sotelo, Ramón Flores, Elena López Guillén, Rafael Barea	Comparison of WiFi Map Construction Methods for WiFi POMDP Navigation Systems.	EUROCAST	2007	DBLP DOI BibTeX RDF	Navigation, Localization, WiFi, POMDP
1	Stephan M. Winkler, Michael Affenzeller, Stefan Wagner 0002	Selection Pressure Driven Sliding Window Behavior in Genetic Programming Based Structure Identification.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Witold Jacak, Karin Pröll	Heuristic Approach to Conflict Problem Solving in an Intelligent Multiagent System.	EUROCAST	2007	DBLP DOI BibTeX RDF	intelligent robotic agent, heuristic conflict problem solution, multi agent systems
1	Enrique Alba 0001, Francisco Chicano	Ant Colony Optimization for Model Checking.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Rene Mayrhofer, Harald Radi	Extending the Growing Neural Gas Classifier for Context Recognition.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Cunhao Fang, Yaoxue Zhang, Song Cao	A Resources Virtualization Approach Supporting Uniform Access to Heterogeneous Grid Resources.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Michael Lunglmayr, Jens Berkmann	Optimized Mapping Schemes for LDPC Coded Higher Order Modulated QAM Transmission.	EUROCAST	2007	DBLP DOI BibTeX RDF	density evolution, receiver design, optimization, Channel coding, low-density parity-check (LDPC) codes
1	Ryszard Klempous	Tool for Creation Realistic Animation of Human-Like Figures: TRAF.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Joseph Canou, Damien Sallé, Marc Traonmillin, Vincent Dupourqué	The Anglet Experiment: A Cybercar on the Beach.	EUROCAST	2007	DBLP DOI BibTeX RDF	Cybercar, safety, experimentation, HMI, control architecture
1	Máximo Méndez, Blas Galván	Multi-Objective Evolutionary Algorithms Using the Working Point and the TOPSIS Method.	EUROCAST	2007	DBLP DOI BibTeX RDF	Working Point, Evolutionary Algorithms, Decision Making, Multi-Objective Optimization, Preferences, TOPSIS
1	Luis Álvarez, Carlos A. Castaño-Moraga, Miguel García, Karl Krissian, Luis Mazorra, Agustín Salgado, Javier Sánchez Pérez	3D Motion Estimation Using a Combination of Correlation and Variational Methods for PIV.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Wilfried Grossmann, Markus Moschner	Knowledge Integration from Multidimensional Data Sources.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Miguel Ángel Sotelo, J. Barriga, David Fernández 0001, Ignacio Parra, José Eugenio Naranjo, Marta Marrón, Sergio Alvarez, Miguel Gavilán	Vision-Based Blind Spot Detection Using Optical Flow.	EUROCAST	2007	DBLP DOI BibTeX RDF	Blind Spot, Computer Vision, Optical Flow, Intelligent Vehicles
1	Felicidad Aguado, José Luis Doncel, José María Molinelli, Gilberto Pérez 0001, Concepción Vidal, Ana María Vieites	Certified Genetic Algorithms: Crossover Operators for Permutations.	EUROCAST	2007	DBLP DOI BibTeX RDF	Calculus of Inductive Constructions, Genetic Algorithm, Specification, Theorem Proving, Crossover, Coq
1	Luis Álvarez, Carlos A. Castaño-Moraga, Miguel García, Karl Krissian, Luis Mazorra, Agustín Salgado, Javier Sánchez Pérez	Symmetric Optical Flow.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Bernhard Quatember, Martin Mayr	GRID Software Solution for the Segmentation of the Coronary Artery Tree in Biplane Angiograms.	EUROCAST	2007	DBLP DOI BibTeX RDF	coronary hemodynamics, simulation, parallel computing, medical imaging, Computational GRID
1	José Luis Crespo, Pilar Bernardos, Marta E. Zorrilla, Eduardo Mora	Synoptic Maps Forecast Using Spatio-temporal Models.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Virginia Giorno, Amelia G. Nobile, Enrica Pirozzi	Upcrossing First Passage Times for Correlated Gaussian Processes.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Miguel Ángel García Garrido, Miguel Ángel Sotelo Vázquez, Ernesto Martín Gorostiza	Fast Road Sign Detection Using Hough Transform for Assisted Driving of Road Vehicles.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	José M. Juárez, José T. Palma, Manuel Campos, Jose Salort, Antonio Morales Nicolás, Roque Marín	A Model-Based Architecture for Fuzzy Temporal Diagnosis.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Rubén Cárdenes, Juan Ruiz-Alzola	Skeleton Extraction of 2D Objects Using Shock Wavefront Detection.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	José Antonio Martín H., Teresa de Pedro, Carlos González 0001, Ricardo García Rosa, Luís Argüelles, Jose Rivas, Javier Toraño	Fuzzy Modeling for Coal Seams A Case Study for a Hard-Coal Mine.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia (eds.)	Computer Aided Systems Theory - EUROCAST 2005, 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Manuel Vilares Ferro, Juan Otero, Jorge Graña Gil	Spelling Correction on Technical Documents.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Miguel Angel Fernández, José M. López-Valles, Antonio Fernández-Caballero 0001, María T. López, José Mira, Ana E. Delgado	Permanency Memories in Scene Depth Analysis.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Néstor Falcón, Carlos M. Travieso, Jesús B. Alonso, Miguel A. Ferrer	Image Processing Techniques for Braille Writing Recognition.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Virginia Giorno, Amelia G. Nobile, Luigi M. Ricciardi	A Wiener Neuronal Model with Refractoriness.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Jochen Pfalzgraf, Bernhard J. Mitterauer	Towards a Biomathematical Model of Intentional Autonomous Multiagent Systems.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Dieter Gollmann	Protocol Analysis for Concrete Environments.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Jose A. Piedra, Francisco Guindos, Alberto Molina, Manuel Cantón	Pattern Recognition in AVHRR Images by Means of Hibryd and Neuro-fuzzy Systems.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Javier de Lope Asiaín, Darío Maravall	Multi-objective Dynamic Optimization for Automatic Parallel Parking.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Cástor Mariño, Manuel G. Penedo, Marta Penas	Retinal Based Authentication via Distributed Web Application.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Erik Pitzer	Parallel Progressive Multiple Sequence Alignment.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	José Luis Fernández-Pérez, Antonio Carlos Domínguez-Brito, Daniel Hernández-Sosa, Jorge Cabrera-Gámez 0001	Programming by Integration in Robotics.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Júlio Henrique Araújo Pereira Machado, Paulo Blauth Menezes	Composing Transitions into Transactions in UML Diagrams.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Paul Cull	Convergence of Iterations.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Manuel Palomo-Duarte, Francisco-Jesús Martín-Mateos, José-Antonio Alonso	Rete Algorithm Applied to Robotic Soccer.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Ángel Serrano 0002, Cristina Conde, Licesio J. Rodríguez-Aragón, Raquel Montes Diez, Enrique Cabello	Computer Vision Application: Real Time Smart Traffic Light.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Peter Kopacek	Advances in Robotics.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Germano Resconi, Javier Alonso 0003, Raúl Izquierdo	Fuzzy Adaptive Objects (Logic of Monitors).	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Przemyslaw Szecówka, Andrzej Szczurek, Maciej A. Mazurowski, Benedykt Licznerski, Franz Pichler	Neural Network Sensitivity Analysis Applied for the Reduction of the Sensor Matrix.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Wilfried Grossmann, Markus Moschner	Ontology Integration for Statistical Information.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Dominik Jochinger, Franz Pichler	A New Pseudo-Random Generator Based on Gollmann Cascades of Baker-Register-Machines.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Clara Benac Earle, Lars-Åke Fredlund	Verification of Language Based Fault-Tolerance.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Min-Soo Jang, Yong-Guk Kim, Sang-Jun Kim, Jeong-Eom Lee, Soek-Joo Lee, Gwi-Tae Park	Vision Based Automatic Occupant Classification and Pose Recognition for Smart Airbag Deployment.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	José Luis Crespo, Pilar Bernardos, Marta E. Zorrilla, Eduardo Mora	Meteorological Image Descriptors.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Francisco Javier Orellana, Francisco Guil, Isabel María del Águila, Samuel Túnez	A WEB-CASE Tool Prototype for Hybrid Software Development.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Roberto Therón, Vidal Moreno, Belén Curto, Francisco J. Blanco	A Mathematical Formalism for the Evaluation of C-Space for Redundant Robots.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Margaret Miró-Julià	Degenerate Arrays: A Framework for Uncertain Data Tables.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Karina Girardi Roggia, Marnes Hoff, Paulo Blauth Menezes	Computation of Partial Automata Through Span Composition.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Peter Kopacek, Edmund Schierer, Markus Wuerzl	A Controller Network for a Humanoid Robot.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Radomir S. Stankovic, Mark G. Karpovsky	Remarks on Calculation of Autocorrelation on Finite Dyadic Groups by Local Transformations of Decision Diagrams.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Josef Küng, Roland R. Wagner	Similarity Queries in Data Bases Using Metric Distances - from Modeling Semantics to Its Maintenance.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Ignacio José García del Amo, Miguel García-Torres, Belén Melián-Batista, José A. Moreno-Pérez, J. Marcos Moreno-Vega, Raquel Rivero Martín	Data Mining with Scatter Search.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Roi Blanco, Alvaro Barreiro	A Software Architecture for Effective Document Identifier Reassignment.	EUROCAST	2005	DBLP DOI BibTeX RDF
1	Abraham Rodríguez-Rodríguez, Francisca Quintana-Dominguez	An Ontology for Reusing Synthetic Tasks.	EUROCAST	2005	DBLP DOI BibTeX RDF

Publications at "EUROCAST"( http://dblp.L3S.de/Venues/EUROCAST )