Search Sciweavers | Sciweavers

4098 search results - page 16 / 820

» Sound mobility 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 5 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

TGC
2007
Springer

107views Applied Computing» more TGC 2007»

Computational Soundness of Equational Theories (Tutorial)

14 years 1 months ago

Download www.lsv.ens-cachan.fr

Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We ﬁrst describe the seminal resul...

Steve Kremer

claim paper

Read More »

« Prev « First page 16 / 820 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers