Search Sciweavers | Sciweavers

11030 search results - page 24 / 2206

» Generative Sound Models

click to vote

DPD
2010

105views more DPD 2010»

Beyond soundness: on the verification of semantic business process models

13 years 7 months ago

Download www.loria.fr

Ingo Weber, Jörg Hoffmann, Jan Mendling

claim paper

Read More »

click to vote

JVCA
2006

103views more JVCA 2006»

Integrating physically based sound models in a multimodal rendering architecture

13 years 7 months ago

Download www.dei.unipd.it

Federico Avanzini, Paolo Crosato

claim paper

Read More »

click to vote

JCNS
2010

69views more JCNS 2010»

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

13 years 6 months ago

Download colemant.ece.illinois.edu

Andrea Trevino, Todd P. Coleman, Jont Allen

claim paper

Read More »

click to vote

JOTA
2010

79views more JOTA 2010»

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

13 years 2 months ago

Download math.uni-graz.at

Stefan Volkwein

claim paper

Read More »

click to vote

TSE
2010

110views more TSE 2010»

Proofs from Tests

13 years 5 months ago

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 »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers