Search Sciweavers | Sciweavers

31387 search results - page 181 / 6278

» Abstracts

135

click to vote

ICRA
2003
IEEE

125views Robotics» more ICRA 2003»

Abstraction and control for groups of fully-actuated planar robots

15 years 11 months ago

Download iasi.bu.edu

Calin Belta, Vijay Kumar

claim paper

Read More »

147

click to vote

IEEEICCI
2003
IEEE

78views Artificial Intelligence» more IEEEICCI 2003»

Perceptual Learning and Abstraction in Machine Learning

15 years 11 months ago

Download hal.inria.fr

Nicolas Bredeche, Zhongzhi Shi, Jean-Daniel Zucker

claim paper

Read More »

109

click to vote

LICS
2003
IEEE

98views Automated Reasoning» more LICS 2003»

Abstract Saturation-Based Inference

15 years 11 months ago

Download www.cs.tau.ac.il

Nachum Dershowitz, Claude Kirchner

claim paper

Read More »

136

click to vote

LICS
2003
IEEE

85views Automated Reasoning» more LICS 2003»

A Proof Theory for Generic Judgments: An extended abstract

15 years 11 months ago

Download www.lix.polytechnique.fr

Dale Miller, Alwen Fernanto Tiu

claim paper

Read More »

118

click to vote

SAINT
2003
IEEE

63views Internet Technology» more SAINT 2003»

Experimenting with a Flexible Awareness Management Abstraction for Virtual Collaboration Spaces

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers