• Verifying concurrent sytems with symbolic execution 

  Balser, Michael et al. (2002)

  Beitrag zu einer Konferenz
  
  

• Optimized Time Management for Declarative Workflows 

  Barba, Irene et al. (2012)

  Beitrag zu einer Konferenz
  
  

• On the Estimation of Entropy for Unknown Support Size 

  Schober, Steffen; Mansour, Ahmed (2012)

  Beitrag zu einer Konferenz
  
  

• Using Explanations for Runtime Dialogue Adaptation 

  Nothdurft, Florian; Honold, Frank; Kurzok, Peter (2012)

  Beitrag zu einer Konferenz
  
  

• Vector Equalization based on Continuous-Time Recurrent Neural Networks 

  Mostafa, Mohamad; Teich, Werner G.; Lindner, Juergen (2012)

  Beitrag zu einer Konferenz
  
  

• Design of Short Barcodes for Next Generation Sequencing of DNA and RNA 

  Schober, Steffen et al. (2012)

  Beitrag zu einer Konferenz
  
  

• Soft Iterative Interference Cancellation with Successive Over Relaxation for Digital Transmission Schemes based on Multiple Sets of Orthogonal Spreading Codes 

  Teich, Werner G.; Wallner, Paul (2012)

  Beitrag zu einer Konferenz
  
  

• Adaptive Explanation Architecture for Maintaining Human-Computer Trust 

  Nothdurft, Florian et al. (2012)

  Beitrag zu einer Konferenz
  
  

• Multi-Modal Fusion Based on Classifiers Using Reject Options and Markov Fusion Networks 

  Glodek, Michael et al. (2012)

  Beitrag zu einer Konferenz
  
  

• Multiple Classifier Combination Using Reject Options and Markov Fusion Networks 

  Glodek, Michael et al. (2012)

  Beitrag zu einer Konferenz
  
  

View more