BibSonomy :: author  ::

bookmarks

publications

(764)

• The Influence of Learning in the Evolution of Busy Beavers.
  Francisco Baptista Pereira and Ernesto Costa EvoWorkshops 421-430 (2001)
  to dblp by dblp on 2008-11-16 00:00:00
  | URL | BibTeX  
• Advances in understanding knowledge work: an experience report.
  Mark Zachry and William Hart-Davidson and Clay Spinuzzi SIGDOC 243-248 (2008)
  to dblp by dblp on 2008-11-11 00:00:00
  | URL | BibTeX  
• Pseudoscalar Flavor-Singlet Physics with Staggered Fermions
  Eric B. Gregory and Alan Irving and Chris M. Richards and Craig McNeile and Alistair Hart (2007)
  to imported by triangel on 2008-11-09 21:07:06
  | BibTeX  
• Intrinsically motivated hierarchical manipulation.
  Stephen Hart and Shijaj Sen and Roderic A. Grupen ICRA 3814-3819 (2008)
  to dblp by dblp on 2008-11-06 00:00:00
  | URL | BibTeX  
• CB: Exploring neuroscience with a humanoid research platform.
  Gordon Cheng and Sang-Ho Hyon and Ales Ude and Jun Morimoto and Joshua G. Hale and Joseph Hart and Jun Nakanishi and Darrin C. Bentivegna and Jessica Hodgins and Christopher G. Atkeson and Michael Mistry and Stefan Schaal and Mitsuo Kawato ICRA 1772-1773 (2008)
  to dblp by dblp on 2008-11-06 00:00:00
  | URL | BibTeX  
• Creating a Semantic Integration System using Spatial Data.
  Jennifer Green and Glen Hart and Catherine Dolbear and Paula C. Engelbrecht and John Goodwin International Semantic Web Conference (Posters & Demos) (2008)
  to dblp by dblp on 2008-10-29 00:00:00
  | URL | BibTeX  
• ROO: Involving Domain Experts in Authoring OWL Ontologies.
  Ronald Denaux and Vania Dimitrova and Anthony G. Cohn and Catherine Dolbear and Glen Hart International Semantic Web Conference (Posters & Demos) (2008)
  to dblp by dblp on 2008-10-29 00:00:00
  | URL | BibTeX  
• Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates.
  Thomas E. Hart and Kelvin Ku and Arie Gurfinkel and Marsha Chechik and David Lie ASE 387-390 (2008)
  to dblp by dblp on 2008-10-29 00:00:00
  | URL | BibTeX  
• PtYasm: Software Model Checking with Proof Templates.
  Thomas E. Hart and Kelvin Ku and Arie Gurfinkel and Marsha Chechik and David Lie ASE 479-480 (2008)
  to dblp by dblp on 2008-10-29 00:00:00
  | URL | BibTeX  
• Involving Domain Experts in Authoring OWL Ontologies.
  Vania Dimitrova and Ronald Denaux and Glen Hart and Catherine Dolbear and Ian Holt and Anthony G. Cohn International Semantic Web Conference 1-16 (2008)
  to dblp by dblp on 2008-10-24 00:00:00
  | URL | BibTeX