Sciweavers

3432 search results - page 234 / 687
» Model Development in the UML-based Specification Environment...
Sort
View
ICAISC
2010
Springer
16 years 8 hour ago
Evaluation of a Communication Platform for Safety Critical Robotics
As the number of handicapped people increases worldwide, Intelligent Wheelchairs (IW) are becoming the solution to enable a higher degree of independence for wheelchair users. In a...
Frederico M. Cunha, Rodrigo A. M. Braga, Luí...
ICMCS
2005
IEEE
97views Multimedia» more  ICMCS 2005»
16 years 24 days ago
The Multimedian Concert-Video Browser
The MultimediaN concert-video browser demonstrates a video interaction environment for efficiently browsing video registrations of pop, rock and other music concerts. The exhibiti...
Ynze van Houten, Suphi Umut Naci, Bauke Freiburg, ...
SOPR
1998
117views more  SOPR 1998»
15 years 6 months ago
Software processes: a retrospective and a path to the future
Software engineering focuses on producing quality software products through quality processes. The attention to processes dates back to the early 70’s, when software engineers r...
Gianpaolo Cugola, Carlo Ghezzi
ETRICS
2006
15 years 11 months ago
Possibilistic Information Flow Control in MAKS and Action Refinement
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
Dieter Hutter
ICRA
2006
IEEE
128views Robotics» more  ICRA 2006»
16 years 1 months ago
Probabilistic Location Recognition using Reduced Feature Set
Abstract— The localization capability is central to basic navigation tasks and motivates development of various visual navigation systems. In this paper we describe a two stage a...
Fayin Li, Jana Kosecka