Sciweavers

11030 search results - page 24 / 2206

» Generative Sound Models

103

DPD
2010

105views more DPD 2010»

Beyond soundness: on the verification of semantic business process models

15 years 4 months ago

Beyond soundness: on the verification of semantic business process models

Download www.loria.fr

Ingo Weber, Jörg Hoffmann, Jan Mendling

claim paper

Read More »

115

JVCA
2006

103views more JVCA 2006»

Integrating physically based sound models in a multimodal rendering architecture

15 years 4 months ago

Integrating physically based sound models in a multimodal rendering architecture

Download www.dei.unipd.it

Federico Avanzini, Paolo Crosato

claim paper

Read More »

77

Voted

JCNS
2010

69views more JCNS 2010»

A dynamical point process model of auditory nerve spiking in response to complex sounds

15 years 3 months ago

A dynamical point process model of auditory nerve spiking in response to complex sounds

Download colemant.ece.illinois.edu

Andrea Trevino, Todd P. Coleman, Jont Allen

claim paper

Read More »

106

JOTA
2010

79views more JOTA 2010»

Admittance Identification from Point-wise Sound Pressure Measurements Using Reduced-order Modelling

14 years 11 months ago

Admittance Identification from Point-wise Sound Pressure Measurements Using Reduced-order Modelling

Download math.uni-graz.at

Stefan Volkwein

claim paper

Read More »

150

TSE
2010

110views more TSE 2010»

Proofs from Tests

15 years 3 months ago

Proofs from Tests

Download research.microsoft.com

We present an algorithm Dash to check if a program P satisﬁes a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...

Nels E. Beckman, Aditya V. Nori, Sriram K. Rajaman...

claim paper

Read More »

« Prev « First page 24 / 2206 Last » Next »