Sciweavers

11030 search results - page 284 / 2206
» Generative Sound Models
Sort
View
FOSSACS
2005
Springer
16 years 3 days ago
Full Abstraction for Polymorphic Pi-Calculus
traction for Polymorphic Pi-Calculus Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, USA 3 University of Su...
Alan Jeffrey, Julian Rathke
ICALP
2004
Springer
15 years 12 months ago
A Calculus of Coroutines
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...
James Laird
ICANN
2010
Springer
15 years 7 months ago
A Directional Laplacian Density for Underdetermined Audio Source Separation
In this work, a novel probability distribution is proposed to model sparse directional data. The Directional Laplacian Distribution (DLD) is a hybrid between the linear Laplacian d...
Nikolaos Mitianoudis
COMMA
2008
15 years 8 months ago
A computational model of argumentation in everyday conversation: A problem-centred approach
Human beings share a common competence for generating relevant arguments. We therefore hypothesize the existence of a cognitive procedure that enables them to determine the content...
Jean-Louis Dessalles
DATE
2007
IEEE
155views Hardware» more  DATE 2007»
16 years 28 days ago
Design fault directed test generation for microprocessor validation
Functional validation of modern microprocessors is an important and complex problem. One of the problems in functional validation is the generation of test cases that has higher p...
Deepak Mathaikutty, Sandeep K. Shukla, Sreekumar V...