BibSonomy :: author  ::

bookmarks

publications

(304)

• Face Recognition Based on Near-Infrared Light Using Mobile Phone.
  Song yi Han and Hyun-Ae Park and Dal Ho Cho and Kang Ryoung Park and Sangyoun Lee ICANNGA (2) 440-448 (2007)
  to dblp by dblp on 2008-08-17 00:00:00
  | URL | BibTeX  
• A physics-based approach for interactive manipulation of graph visualizations.
  Andre Suslik Spritzer and Carla Maria Dal Sasso Freitas AVI 271-278 (2008)
  to dblp by dblp on 2008-07-13 00:00:00
  | URL | BibTeX  
• The weak lambda calculus as a reasonable machine.
  Ugo Dal Lago and Simone Martini Theor. Comput. Sci. 398 32-50 (2008)
  to dblp by dblp on 2008-07-11 00:00:00
  | URL | BibTeX  
• A taxonomy of tasks for guiding the evaluation of multidimensional visualizations.
  Eliane Regina de Almeida Valiati and Marcelo Soares Pimenta and Carla Maria Dal Sasso Freitas BELIV 1-6 (2006)
  to dblp by dblp on 2008-06-19 00:00:00
  | URL | BibTeX  
• On light logics, uniform encodings and polynomial time.
  Ugo Dal Lago and Patrick Baillot Mathematical Structures in Computer Science 16 713-733 (2006)
  to dblp by dblp on 2008-06-19 00:00:00
  | URL | BibTeX  
• Using multi-dimensional in-depth long-term case studies for information visualization evaluation.
  Eliane Regina de Almeida Valiati and Carla Maria Dal Sasso Freitas and Marcelo Soares Pimenta BELIV 9 (2008)
  to dblp by dblp on 2008-06-17 00:00:00
  | URL | BibTeX  
• Introduction to the Special Issue on Bioinformatics and Constraints.
  Alessandro Dal Palù and Agostino Dovier and Sebastian Will Constraints 13 1-2 (2008)
  to dblp by dblp on 2008-05-28 00:00:00
  | URL | BibTeX  
• A Design of Temperature-Compensated Complementary Metal-Oxide Semiconductor Voltage Reference Sources with a Small Temperature Coefficient.
  Kyung Soo Park and Sun-Bo Woo and Kae-Dal Kwack and Tae-Whan Kim IEICE Transactions 91-C 751-755 (2008)
  to dblp by dblp on 2008-05-20 00:00:00
  | URL | BibTeX  
• A Semantic Proof of Polytime Soundness of Light Affine Logic.
  Ugo Dal Lago and Martin Hofmann CSR 134-145 (2008)
  to dblp by dblp on 2008-05-16 00:00:00
  | URL | BibTeX  
• Branch Prediction Topologies for SMT Architectures.
  Guilherme Dal Pizzol and Philippe Olivier Alexandre Navaux SBAC-PAD 118-125 (2005)
  to dblp by dblp on 2008-05-09 00:00:00
  | URL | BibTeX