Sciweavers

19936 search results - page 3685 / 3988
» Inductive process modeling
Sort
View
ICRA
2010
IEEE
121views Robotics» more  ICRA 2010»
15 years 2 months ago
Planes, trains and automobiles - autonomy for the modern robot
—We are concerned with enabling truly large scale autonomous navigation in typical human environments. To this end we describe the acquisition and modeling of large urban spaces ...
Gabe Sibley, Christopher Mei, Ian D. Reid, Paul M....
ICST
2010
IEEE
15 years 2 months ago
Fault Detection Likelihood of Test Sequence Length
— Testing of graphical user interfaces is important due to its potential to reveal faults in operation and performance of the system under consideration. Most existing test appro...
Fevzi Belli, Michael Linschulte, Christof J. Budni...
ICST
2010
IEEE
15 years 2 months ago
Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
Laya Madani, Virginia Papailiopoulou, Ioannis Pari...
IFIPTM
2010
145views Management» more  IFIPTM 2010»
15 years 2 months ago
A Formal Notion of Trust - Enabling Reasoning about Security Properties
Historically, various different notions of trust can be found, each addressing particular aspects of ICT systems, e.g. trust in electronic commerce systems based on reputation and...
Andreas Fuchs, Sigrid Gürgens, Carsten Rudolp...
IJBRA
2010
116views more  IJBRA 2010»
15 years 2 months ago
Scaling alignment of large ontologies
: In recent years, the number of ontologies shared on the Web has increased dramatically, supporting a growing set of applications such as biological knowledge sharing, enhanced se...
Suzette Stoutenburg, Jugal Kalita, Kaily Ewing, Li...
« Prev « First page 3685 / 3988 Last » Next »