Sciweavers

1816 search results - page 201 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
174
Voted
FMCAD
2007
Springer
16 years 1 months 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
178
Voted
ICRA
2008
IEEE
149views Robotics» more  ICRA 2008»
16 years 1 months 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
226
Voted
AMFG
2005
IEEE
256views Biometrics» more  AMFG 2005»
16 years 19 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
16 years 11 days 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
170
Voted
CIMCA
2005
IEEE
16 years 19 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