Search

Your search keyword '"Cerro, Luis Fariñas del"' showing total 19 results
Start Over Author "Cerro, Luis Fariñas del" Database Complementary Index
19 results on '"Cerro, Luis Fariñas del"'

1. Intelligent Garbage Collection.

Author

Gabbay, D.M., Siekmann, J., Aiello, Luigia Carlucci, Baader, Franz, Bibel, Wolfgang, Bolc, Leonard, Boutilier, Craig, Brachman, Ron, Buchanan, Bruce G., Cohn, Anthony, Garcez, Artur d'Avila, Cerro, Luis Fariñas del, Furukawa, Koichi, Gottlob, Georg, Hayes, Patrick J., Hendler, James A., Jameson, Anthony, Jennings, Nick, Joshi, Aravind K., and Kamp, Hans

Published
2006
Full Text
View/download PDF

2. Perceptions of Non-planar Surfaces.

Author

Gabbay, D.M., Siekmann, J., Aiello, Luigia Carlucci, Baader, Franz, Bibel, Wolfgang, Bolc, Leonard, Boutilier, Craig, Brachman, Ron, Buchanan, Bruce G., Cohn, Anthony, Garcez, Artur d'Avila, Cerro, Luis Fariñas del, Furukawa, Koichi, Gottlob, Georg, Hayes, Patrick J., Hendler, James A., Jameson, Anthony, Jennings, Nick, Joshi, Aravind K., and Kamp, Hans

Published
2006
Full Text
View/download PDF

3. Program for 3D Perception.

Author

Gabbay, D.M., Siekmann, J., Aiello, Luigia Carlucci, Baader, Franz, Bibel, Wolfgang, Bolc, Leonard, Boutilier, Craig, Brachman, Ron, Buchanan, Bruce G., Cohn, Anthony, Garcez, Artur d'Avila, Cerro, Luis Fariñas del, Furukawa, Koichi, Gottlob, Georg, Hayes, Patrick J., Hendler, James A., Jameson, Anthony, Jennings, Nick, Joshi, Aravind K., and Kamp, Hans

Published
2006
Full Text
View/download PDF

4. Building 3D Perception Using a Kalman Filter.

Author

Gabbay, D.M., Siekmann, J., Aiello, Luigia Carlucci, Baader, Franz, Bibel, Wolfgang, Bolc, Leonard, Boutilier, Craig, Brachman, Ron, Buchanan, Bruce G., Cohn, Anthony, Garcez, Artur d'Avila, Cerro, Luis Fariñas del, Furukawa, Koichi, Gottlob, Georg, Hayes, Patrick J., Hendler, James A., Jameson, Anthony, Jennings, Nick, Joshi, Aravind K., and Kamp, Hans

Published
2006
Full Text
View/download PDF

5. Image Capture Program.

Author

Gabbay, D.M., Siekmann, J., Aiello, Luigia Carlucci, Baader, Franz, Bibel, Wolfgang, Bolc, Leonard, Boutilier, Craig, Brachman, Ron, Buchanan, Bruce G., Cohn, Anthony, Garcez, Artur d'Avila, Cerro, Luis Fariñas del, Furukawa, Koichi, Gottlob, Georg, Hayes, Patrick J., Hendler, James A., Jameson, Anthony, Jennings, Nick, Joshi, Aravind K., and Kamp, Hans

Published
2006
Full Text
View/download PDF

6. Imaging Geometry.

Author

Gabbay, D.M., Siekmann, J., Aiello, Luigia Carlucci, Baader, Franz, Bibel, Wolfgang, Bolc, Leonard, Boutilier, Craig, Brachman, Ron, Buchanan, Bruce G., Cohn, Anthony, Garcez, Artur d'Avila, Cerro, Luis Fariñas del, Furukawa, Koichi, Gottlob, Georg, Hayes, Patrick J., Hendler, James A., Jameson, Anthony, Jennings, Nick, Joshi, Aravind K., and Kamp, Hans

Published
2006
Full Text
View/download PDF

7. A Complete Program for Autonomous Navigation.

Author

Gabbay, D.M., Siekmann, J., Aiello, Luigia Carlucci, Baader, Franz, Bibel, Wolfgang, Bolc, Leonard, Boutilier, Craig, Brachman, Ron, Buchanan, Bruce G., Cohn, Anthony, Garcez, Artur d'Avila, Cerro, Luis Fariñas del, Furukawa, Koichi, Gottlob, Georg, Hayes, Patrick J., Hendler, James A., Jameson, Anthony, Jennings, Nick, Joshi, Aravind K., and Kamp, Hans

Published
2006
Full Text
View/download PDF

8. Program for Tele-operation.

Author

Gabbay, D.M., Siekmann, J., Aiello, Luigia Carlucci, Baader, Franz, Bibel, Wolfgang, Bolc, Leonard, Boutilier, Craig, Brachman, Ron, Buchanan, Bruce G., Cohn, Anthony, Garcez, Artur d'Avila, Cerro, Luis Fariñas del, Furukawa, Koichi, Gottlob, Georg, Hayes, Patrick J., Hendler, James A., Jameson, Anthony, Jennings, Nick, Joshi, Aravind K., and Kamp, Hans

Published
2006
Full Text
View/download PDF

9. Program for Wandering Within the Workspace.

Author

Gabbay, D.M., Siekmann, J., Aiello, Luigia Carlucci, Baader, Franz, Bibel, Wolfgang, Bolc, Leonard, Boutilier, Craig, Brachman, Ron, Buchanan, Bruce G., Cohn, Anthony, Garcez, Artur d'Avila, Cerro, Luis Fariñas del, Furukawa, Koichi, Gottlob, Georg, Hayes, Patrick J., Hendler, James A., Jameson, Anthony, Jennings, Nick, Joshi, Aravind K., and Kamp, Hans

Published
2006
Full Text
View/download PDF

10. Program for Sonar Reading Display.

Author

Gabbay, D.M., Siekmann, J., Aiello, Luigia Carlucci, Baader, Franz, Bibel, Wolfgang, Bolc, Leonard, Boutilier, Craig, Brachman, Ron, Buchanan, Bruce G., Cohn, Anthony, Garcez, Artur d'Avila, Cerro, Luis Fariñas del, Furukawa, Koichi, Gottlob, Georg, Hayes, Patrick J., Hendler, James A., Jameson, Anthony, Jennings, Nick, Joshi, Aravind K., and Kamp, Hans

Published
2006
Full Text
View/download PDF

11. Gripper Control Program.

Author

Gabbay, D.M., Siekmann, J., Aiello, Luigia Carlucci, Baader, Franz, Bibel, Wolfgang, Bolc, Leonard, Boutilier, Craig, Brachman, Ron, Buchanan, Bruce G., Cohn, Anthony, Garcez, Artur d'Avila, Cerro, Luis Fariñas del, Furukawa, Koichi, Gottlob, Georg, Hayes, Patrick J., Hendler, James A., Jameson, Anthony, Jennings, Nick, Joshi, Aravind K., and Kamp, Hans

Published
2006
Full Text
View/download PDF

12. Program for BotSpeak.

Author

Gabbay, D.M., Siekmann, J., Aiello, Luigia Carlucci, Baader, Franz, Bibel, Wolfgang, Bolc, Leonard, Boutilier, Craig, Brachman, Ron, Buchanan, Bruce G., Cohn, Anthony, Garcez, Artur d'Avila, Cerro, Luis Fariñas del, Furukawa, Koichi, Gottlob, Georg, Hayes, Patrick J., Hendler, James A., Jameson, Anthony, Jennings, Nick, Joshi, Aravind K., and Kamp, Hans

Published
2006
Full Text
View/download PDF

13. Robot Parameter Display.

Author

Gabbay, D.M., Siekmann, J., Aiello, Luigia Carlucci, Baader, Franz, Bibel, Wolfgang, Bolc, Leonard, Boutilier, Craig, Brachman, Ron, Buchanan, Bruce G., Cohn, Anthony, Garcez, Artur d'Avila, Cerro, Luis Fariñas del, Furukawa, Koichi, Gottlob, Georg, Hayes, Patrick J., Hendler, James A., Jameson, Anthony, Jennings, Nick, Joshi, Aravind K., and Kamp, Hans

Published
2006
Full Text
View/download PDF

14. Robot Programming Packages.

Author

Gabbay, D.M., Siekmann, J., Aiello, Luigia Carlucci, Baader, Franz, Bibel, Wolfgang, Bolc, Leonard, Boutilier, Craig, Brachman, Ron, Buchanan, Bruce G., Cohn, Anthony, Garcez, Artur d'Avila, Cerro, Luis Fariñas del, Furukawa, Koichi, Gottlob, Georg, Hayes, Patrick J., Hendler, James A., Jameson, Anthony, Jennings, Nick, Joshi, Aravind K., and Kamp, Hans

Published
2006
Full Text
View/download PDF

15. Navigation Using a Genetic Algorithm.

Author

Gabbay, D.M., Siekmann, J., Aiello, Luigia Carlucci, Baader, Franz, Bibel, Wolfgang, Bolc, Leonard, Boutilier, Craig, Brachman, Ron, Buchanan, Bruce G., Cohn, Anthony, Garcez, Artur d'Avila, Cerro, Luis Fariñas del, Furukawa, Koichi, Gottlob, Georg, Hayes, Patrick J., Hendler, James A., Jameson, Anthony, Jennings, Nick, Joshi, Aravind K., and Kamp, Hans

Published
2006
Full Text
View/download PDF

16. Path Planning.

Author

Gabbay, D.M., Siekmann, J., Aiello, Luigia Carlucci, Baader, Franz, Bibel, Wolfgang, Bolc, Leonard, Boutilier, Craig, Brachman, Ron, Buchanan, Bruce G., Cohn, Anthony, Garcez, Artur d'Avila, Cerro, Luis Fariñas del, Furukawa, Koichi, Gottlob, Georg, Hayes, Patrick J., Hendler, James A., Jameson, Anthony, Jennings, Nick, Joshi, Aravind K., and Kamp, Hans

Published
2006
Full Text
View/download PDF

17. Map Building.

Author

Gabbay, D.M., Siekmann, J., Aiello, Luigia Carlucci, Baader, Franz, Bibel, Wolfgang, Bolc, Leonard, Boutilier, Craig, Brachman, Ron, Buchanan, Bruce G., Cohn, Anthony, Garcez, Artur d'Avila, Cerro, Luis Fariñas del, Furukawa, Koichi, Gottlob, Georg, Hayes, Patrick J., Hendler, James A., Jameson, Anthony, Jennings, Nick, Joshi, Aravind K., and Kamp, Hans

Published
2006
Full Text
View/download PDF

18. Cybernetic View of Robot Cognition and Perception.

Author

Gabbay, D.M., Siekmann, J., Aiello, Luigia Carlucci, Baader, Franz, Bibel, Wolfgang, Bolc, Leonard, Boutilier, Craig, Brachman, Ron, Buchanan, Bruce G., Cohn, Anthony, Garcez, Artur d'Avila, Cerro, Luis Fariñas del, Furukawa, Koichi, Gottlob, Georg, Hayes, Patrick J., Hendler, James A., Jameson, Anthony, Jennings, Nick, Joshi, Aravind K., and Kamp, Hans

Published
2006
Full Text
View/download PDF

19. Modal Logics for Incidence Geometries.

Author

BALBIANI, PHILIPPE, CERRO, LUIS FARIÑAS DEL, TINCHEV, TINKO, and VAKARELOV, DIMITER

Abstract

Incidence geometry is based on two-sorted structures consisting of ‘points’ and ‘lines’ together with an intersort binary relation called incidence. We introduce an equivalent one-sorted geometrical structure, called incidence frame, which is suitable for modal considerations. Incidence frames constitute the semantical basis of MIG, the modal logic of incidence geometry. A completeness theorem for MIG is proved: a modal formula is a theorem of MIG if and only if it is valid in all incidence frames. Extensions to projective and affine geometries are also considered. [ABSTRACT FROM PUBLISHER]

Published
1997
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results