Sciweavers

1816 search results - page 201 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
FMCAD
2007
Springer
16 years 18 days ago
Modeling Time-Triggered Protocols and Verifying Their Real-Time Schedules
Time-triggered systems are distributed systems in which the nodes are independently-clocked but maintain synchrony with one another. Time-triggered protocols depend on the synchro...
Lee Pike
ICRA
2008
IEEE
149views Robotics» more  ICRA 2008»
16 years 27 days ago
A hybrid actuation approach for human-friendly robot design
Abstract— Safety is a critical characteristic for robots designed to operate in human environments. This paper presents the concept of hybrid actuation for the development of hum...
Dongjun Shin, Irene Sardellitti, Oussama Khatib
AMFG
2005
IEEE
256views Biometrics» more  AMFG 2005»
16 years 2 days ago
Robust Facial Landmark Detection for Intelligent Vehicle System
Abstract. This paper presents an integrated approach for robustly locating facial landmark for drivers. In the first step a cascade of probability learners is used to detect the f...
Junwen Wu, Mohan M. Trivedi
SIGADA
2004
Springer
15 years 11 months ago
Information systems security engineering: a critical component of the systems engineering lifecycle
The purpose of this research paper is to illustrate the industrial and federal need for Information Systems Security Engineering (ISSE) in order to build Information Assurance (IA...
James F. Davis
CIMCA
2005
IEEE
16 years 2 days ago
Hybrid Neural Networks for Immunoinformatics
Hybrid set of optimally trained feed-forward, Hopfield and Elman neural networks were used as computational tools and were applied to immunoinformatics. These neural networks ena...
Khrizel B. Solano, Tolja Djekovic, Mohamed Zohdy