7121 search results - page 1155 / 1425 » Modeling Signs Using Functional Data Analysis |
214
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
168
click to vote
CBMS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this research, an imaging system was built to work with a newly developed electronic device to help people produce sounds correctly. The system consists of two parts, the inter...
188
click to vote
STOC
2010
ACM
15 years 11 months ago
2010
ACM
In this paper we investigate distributed computation in dynamic networks in which the network topology changes from round to round. We consider a worst-case model in which the com...
176
click to vote
NOMS
1998
IEEE
15 years 10 months ago
1998
IEEE
Network Management Forum (NMF) has defined a set of basic business processes dealing with major TMN service management functions such as performance management, fault management, b...
230
click to vote
CTRSA
2012
Springer
14 years 2 months ago
2012
Springer
We study the problem of searching on encrypted data, where the search is performed using a plaintext message or a keyword, rather than a message-specific trapdoor as done by state...