Conference Proceeding RDF
pages:- 65
- 66
- 67
- 68
- 69
- 70
- 71
- 72
- 73
- 74
- 75
- 76
- 77
- 78
- 79
- 80
- 81
- 82
- 83
- 84
- 85
- 86
- 87
- 88
- 89
- 90
- 91
- 92
- 93
- 94
- 95
- 96
- 97
- 98
- 99
- 100
- 101
- 102
- 103
- 104
- 105
- more...
- Automatic Invariant Generation For Hybrid Systems Using Ideal Fixed Points
- Automatic invariant strengthening to prove properties in bounded model checking
- Automatic kinematic chain calibration using artificial skin: self-touch in the iCub humanoid robot
- Automatic prediction of aspectual class of verbs in context
- Automatic Regionalization Algorithm for Distributed State Estimation in Power Systems
- Automatic Voltage and Dead Time Control for Efficiency Optimization in a Dual Active Bridge Converter
- Automatically Assessing Resource Quality for Educational Digital Libraries
- Automatically Characterizing Resource Quality for Educational Digital Libraries
- Automating Analysis and Feedback to Improve Mathematics Teachers' Classroom Discourse
- Automating open educational resources assessments
- Automating Recommender Systems Experimentation with librec-auto
- Automating the Generation of Composed Linear Algebra Kernels
- Automating the McIntosh Classification System using Machine Learning
- Automation in SHM using damage measure and laser Doppler vibrometer
- Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications
- Automotive LED Driver Based On High Frequency Zero Voltage Switching Integrated Magnetics Cuk Converter
- Automotive LED Driver based on Resonant DC-DC Converter with Wide Input and Output Voltage Ranges
- Autonomic Closure for Turbulent Flows Using Approximate Bayesian Computation
- Autonomous Behavioral Health Countermeasures - Virtual Space Station
- Autonomous Behavioral Health Countermeasures - Virtual Space Station
- Autonomous Bio-Inspired Small-Object Detection and Avoidance
- Autonomous Control of Series-Connected Low Voltage Photovoltaic Microinverters
- Autonomous decision making for pseudo-Lagrangian drifter deployment from sUAS
- Autonomous Energy Grids
- Autonomous Image Tasking for Surface Mapping of Large Bodies
- Autonomous Information Gathering Guidance for Distributed Space Systems with Optical Sensors
- Autonomous Justification for Enabling Explainable Decision Support in Human-Robot Teaming
- Autonomous Localization, Navigation and Haustral Fold Detection for Robotic Endoscopy
- AUTONOMOUS OBSERVATION PLANNING WITH FLASH LIDAR AROUND SMALL BODIES
- Autonomous On-board Planning for Earth-Orbiting Spacecraft