Sciweavers

1422 search results - page 193 / 285
» Test Generation Algorithms Based on Preorder Relations
Sort
View
UML
2001
Springer
15 years 7 months ago
Formalization of UML-Statecharts
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
Michael von der Beeck
CASCON
2006
118views Education» more  CASCON 2006»
15 years 4 months ago
Ensuring behavioural equivalence in test-driven porting
In this paper we present a test-driven approach to porting code from one object-oriented language to another. We derive an order for the porting of the code, along with a testing ...
Mark Hennessy, James F. Power
AICOM
2008
95views more  AICOM 2008»
15 years 3 months ago
A multilayer ontology-based hybrid recommendation model
We propose a novel hybrid recommendation model in which user preferences and item features are described in terms of semantic concepts defined in domain ontologies. The exploitati...
Iván Cantador, Alejandro Bellogín, P...
CORR
2004
Springer
223views Education» more  CORR 2004»
15 years 3 months ago
MultiNeuron - Neural Networks Simulator For Medical, Physiological, and Psychological Applications
This work describes neural software applied in medicine and physiology to: - investigate and diagnose immune deficiencies; diagnose and study allergic and pseudoallergic reactions...
Alexander N. Gorban, D. A. Rossiyev, M. G. Dorrer
ICRA
2010
IEEE
226views Robotics» more  ICRA 2010»
15 years 1 months ago
Indoor scene recognition through object detection
Abstract— Scene recognition is a highly valuable perceptual ability for an indoor mobile robot, however, current approaches for scene recognition present a significant drop in p...
Pablo Espinace, Thomas Kollar, Alvaro Soto, Nichol...