Sciweavers

300 search results - page 55 / 60
» A study on the value of location privacy
Sort
View
POPL
1999
ACM
13 years 12 months ago
Types for Mobile Ambients
An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guarantee that certain ambients will remain immobile, and that ...
Luca Cardelli, Andrew D. Gordon
ICASSP
2009
IEEE
13 years 11 months ago
Singing voice detection in music tracks using direct voice vibrato detection
In this paper we investigate the problem of locating singing voice in music tracks. As opposed to most existing methods for this task, we rely on the extraction of the characteris...
Lise Regnier, Geoffroy Peeters
BMCBI
2008
103views more  BMCBI 2008»
13 years 7 months ago
Detection of protein catalytic residues at high precision using local network properties
Background: Identifying the active site of an enzyme is a crucial step in functional studies. While protein sequences and structures can be experimentally characterized, determini...
Patrick Slama, Ioannis Filippis, Michael Lappe
CORR
2008
Springer
139views Education» more  CORR 2008»
13 years 7 months ago
Exact two-terminal reliability of some directed networks
Abstract-- The calculation of network reliability in a probabilistic context has long been an issue of practical and academic importance. Conventional approaches (determination of ...
Christian Tanguy
ENTCS
2002
181views more  ENTCS 2002»
13 years 7 months ago
Alias verification for Fortran code optimization
Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...
Thi Viet Nga Nguyen, François Irigoin