BibSonomy :: author  ::

bookmarks

publications

(452)

• A realtime multimodal system for analyzing group meetings by combining face pose tracking and speaker diarization.
  Kazuhiro Otsuka and Shoko Araki and Kentaro Ishizuka and Masakiyo Fujimoto and Martin Heinrich and Junji Yamato ICMI 257-264 (2008)
  to dblp by dblp on 2008-10-27 00:00:00
  | URL | BibTeX  
• STDP Provides the Substrate for Igniting Synfire Chains by Spatiotemporal Input Patterns.
  Ryosuke Hosaka and Osamu Araki and Tohru Ikeguchi Neural Computation 20 415-435 (2008)
  to dblp by dblp on 2008-10-27 00:00:00
  | URL | BibTeX  
• Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows.
  John Hatcliff ICFEM 3-4 (2008)
  to dblp by dblp on 2008-10-23 00:00:00
  | URL | BibTeX  
• Programmers Ain't Mathematicians, and Neither Are Testers.
  Jeff Offutt ICFEM 2 (2008)
  to dblp by dblp on 2008-10-23 00:00:00
  | URL | BibTeX  
• Towards Abstraction for DynAlloy Specifications.
  Nazareno Aguirre and Marcelo F. Frias and Pablo Ponzio and Brian J. Cardiff and Juan P. Galeotti and Germán Regis ICFEM 207-225 (2008)
  to dblp by dblp on 2008-10-23 00:00:00
  | URL | BibTeX  
• A Formal Descriptive Semantics of UML.
  Lijun Shan and Hong Zhu ICFEM 375-396 (2008)
  to dblp by dblp on 2008-10-23 00:00:00
  | URL | BibTeX  
• A Unified Model Checking Approach with Projection Temporal Logic.
  Zhenhua Duan and Cong Tian ICFEM 167-186 (2008)
  to dblp by dblp on 2008-10-23 00:00:00
  | URL | BibTeX  
• A Practical Approach to Partiality - A Proof Based Approach.
  Farhad Mehta ICFEM 238-257 (2008)
  to dblp by dblp on 2008-10-23 00:00:00
  | URL | BibTeX  
• Partial Translation Verification for Untrusted Code-Generators.
  Matthew Staats and Mats Per Erik Heimdahl ICFEM 226-237 (2008)
  to dblp by dblp on 2008-10-23 00:00:00
  | URL | BibTeX  
• Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool.
  Michael Leuschel and Marc Fontaine ICFEM 278-297 (2008)
  to dblp by dblp on 2008-10-23 00:00:00
  | URL | BibTeX