Sciweavers

21984 search results - page 515 / 4397
» C
Sort
View
AGENTS
1997
Springer
15 years 10 months ago
Basic Agents for Visual/Motor Coordination of a Mobile Robot
Maria C. García-Alegre, Felicidad Recio
PPDP
2000
Springer
15 years 10 months ago
Justifying proofs using memo tables
Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Rama...
SPW
2000
Springer
15 years 10 months ago
Making Sense of Specifications: The Formalization of SET
Giampaolo Bella, Fabio Massacci, Lawrence C. Pauls...
COMPCON
1995
IEEE
15 years 10 months ago
The PowerPC Architecture: 64-bit Power with 32-bit Compatibility
C. Ray Peng, Thomas A. Petersen, Ron Clark