Foreign Language Math Science Social Science Business Engineering & Technology Arts & Humanities History Miscellaneous Standardized tests
  1. Engineering & Technology
  2. Computer Science
  3. Artificial Intelligence
A Formal Framework for Studying Interaction in Human-Robot Societies
A Formal Framework for Studying Interaction in Human-Robot Societies
A Formal Bi-Logic Framework for the Mental Processes Tzu-Keng Fu
A Formal Bi-Logic Framework for the Mental Processes Tzu-Keng Fu
A Formal Assessment Result for Fluent Calculus Ozan Kahramano˘gulları Michael Thielscher
A Formal Assessment Result for Fluent Calculus Ozan Kahramano˘gulları Michael Thielscher
A formal analysis and taxonomy of task allocation in multi
A formal analysis and taxonomy of task allocation in multi
A FLUX Agent for the Wumpus World Michael Thielscher Abstract
A FLUX Agent for the Wumpus World Michael Thielscher Abstract
A Flexible New Technique for Camera Calibration
A Flexible New Technique for Camera Calibration
A Flexible Framework for Defeasible Logics G. Antoniou
A Flexible Framework for Defeasible Logics G. Antoniou
A Flexible Architecture for a Multimodal Robot Control Interface
A Flexible Architecture for a Multimodal Robot Control Interface
A Five Challenges for Intelligent Text Entry Methods
A Five Challenges for Intelligent Text Entry Methods
A First-Order Interpreter for Knowledge-Based Golog
A First-Order Interpreter for Knowledge-Based Golog
A First Practical Algorithm for High Levels of Relational Consistency
A First Practical Algorithm for High Levels of Relational Consistency
A Few Issues on Human-Robot Interaction for Manuela Veloso,
A Few Issues on Human-Robot Interaction for Manuela Veloso,
A Few AI Challenges Raised while Developing an
A Few AI Challenges Raised while Developing an
A feature selection approach based on term
A feature selection approach based on term
A Feasible Nonconvex Relaxation Approach to Feature Selection Cuixia Gao Naiyan Wang
A Feasible Nonconvex Relaxation Approach to Feature Selection Cuixia Gao Naiyan Wang
A Feasibility Study of an Approach to Extend Research Footprints
A Feasibility Study of an Approach to Extend Research Footprints
A fault-tolerant modular control approach to multi-robot perimeter patrol
A fault-tolerant modular control approach to multi-robot perimeter patrol
A Faster Core Constraint Generation Algorithm for Combinatorial Auctions Sven Seuken
A Faster Core Constraint Generation Algorithm for Combinatorial Auctions Sven Seuken
A fast, cheap, and easy vision ... vacuum cleaner
A fast, cheap, and easy vision ... vacuum cleaner
A Fast Spectral Relaxation Approach to Matrix Completion via Kronecker Products
A Fast Spectral Relaxation Approach to Matrix Completion via Kronecker Products
A Fast Heuristic Search Algorithm for Finding the
A Fast Heuristic Search Algorithm for Finding the
A Fast Goal Recognition Technique Based on Interaction Estimates
A Fast Goal Recognition Technique Based on Interaction Estimates
A Fast Data Collection and Augmentation Procedure for Object Recognition
A Fast Data Collection and Augmentation Procedure for Object Recognition
A Fast Clustering-Based Feature Subset Selection Algorithm for
A Fast Clustering-Based Feature Subset Selection Algorithm for