NRL - PDFSEARCH.IO - Document Search Engine

NRL
Results: 821

#	Item
561	NRL Release Number[removed]Applying a Formal Requirements Method to Three NASA Systems: Lessons Learned Constance L. Heitmeyer and Ralph D. Jeffords Naval Research Laboratory (Code 5546) Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-04-25 12:55:41 Software requirements Systems engineering Formal methods Requirement Software Requirements Specification Specification Software design Life-critical system Verification Software development Technology Software
562	Opponent Modeling and Spatial Similarity to Retrieve and Reuse Superior Plays Kennard Laviers1 , Gita Sukthankar1 , Matthew Klenk2 , David W. Aha2 , Matthew Molineaux3 1 School of EECS, University of Central Florida, Or Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-08-27 10:15:54 Sports Quarterback Running back Blitz Linebacker Formation Center Forward pass Football American football American football positions
563	Case-Based Behavior Adaptation Using an Inverse Trust Metric Michael W. Floyd and Michael Drinkwater Knexus Research Corporation Springfield, Virginia, USA {michael.f loyd, michael.drinkwater}@knexusresearch.com Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2014-06-02 07:42:55 Massachusetts Institute of Technology Social robots Science Behavior Robot Cognitive robotics Ethology Trust Human–robot interaction Robotics Artificial intelligence Humanoid robots
564	PROCEEDINGS of the HUMAN FACTORS and ERGONOMICS SOCIETY 55th ANNUAL MEETING[removed]Pupil Dilation as an Index of Learning Ciara Sibley1, Joseph Coyne1, Carryl Baldwin2 Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-08-06 16:58:01 Cognitive science Memory Mental processes Systems psychology Educational psychology Cognitive load Workload Spatial memory Working memory Mind Ethology Education
565	The Ubuntu Chat Corpus for Multiparticipant Chat Analysis David C. Uthus David W. Aha NRC/NRL Postdoctoral Fellow Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-08-21 21:55:19 Computer architecture Internet culture Internet Relay Chat Freenode Ubuntu Unity Online chat Computing Software
566	A Comparison of Artificial Neural Networks, Logistic Regressions, and Classification Trees for Modeling Mental Workload in Real-Time Allan Fong1, Ciara Sibley1, Anna Cole2, Carryl Baldwin3, and Joseph Coyne1 1Naval Rese Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-08-06 17:02:30 Machine learning Computational neuroscience Computational statistics Artificial neural network Logistic regression Linear regression Decision tree learning Separation Statistical classification Statistics Regression analysis Econometrics
567	Unsupervised and Transfer Learning Challenge Isabelle Guyon, Gideon Dror, Vincent Lemaire, Graham Taylor, David W. Aha Abstract— We organized a data mining challenge in “unsupervised and transfer learning” (the UTL Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-08-26 10:18:54 Learning Unsupervised learning Supervised learning Pattern recognition Random forest Linear classifier Statistical classification Cross-validation Data mining Machine learning Statistics Artificial intelligence
568	PROCEEDINGS of the HUMAN FACTORS and ERGONOMICS SOCIETY 55th ANNUAL MEETING[removed]Method for Characterizing and Identifying Task Evoked Pupillary Responses During Varying Workload Levels Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-08-06 16:56:19 Design Humanâ€“computer interaction Human resource management Workload Ergonomics Pupil Cognitive load Human factors Eye tracking Eye Systems psychology Education
569	InAs HEMT narrowband ampliﬁer with ultra-low power dissipation W. Kruppa, J.B. Boos, B.R. Bennett, N.A. Papanicolaou, D. Park and R. Bass The design, fabrication and performance of a prototype narrowband ampliﬁer usi Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-11-22 12:53:46 High electron mobility transistor Electromagnetism Gain compression Technology Transistor Electronics
570	Constructing Game Agents from Video of Human Behavior Nan Li1 , David J. Stracuzzi1 , Gary Cleveland1 , Tolga K¨onik2 , Dan Shapiro2 , Matthew Molineaux3 , David Aha4 , Kamal Ali2 1 School of Computing and Informatics, Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-08-27 09:58:52 Ethology Educational psychology Cognitive science Intelligent agent Running back Learning Play Forward pass Cognitive architecture Football Behavior Artificial intelligence

UPDATE