2372 search results - page 64 / 475 » is 2012 |
141
click to vote
CORR
2012
Springer
14 years 1 months ago
2012
Springer
In this paper, we proposed an authentication method according to Diffie-Hellman. First, we introduce different methods for authentication in IEEE.802.16 then we proposed an authen...
224
click to vote
GC
2012
Springer
14 years 1 months ago
2012
Springer
A cut [X, V − X] in a hypergraph with vertex-set V is the set of all edges that meet both X and V − X. Let sr(n) denote the minimum total size of any cover of the edges of the ...
200
click to vote
HICSS
2012
IEEE
14 years 1 months ago
2012
IEEE
—Citizen science is a form of research collaboration involving members of the public in scientific research projects to address real-world problems. Often organized as a virtual...
231
click to vote
ICA
2012
Springer
14 years 1 months ago
2012
Springer
We consider the Independent Subspace Analysis problem from the point of view of contrast functions, showing that contrast functions are able to partially solve the ISA problem. Tha...
227
click to vote
LPAR
2012
Springer
14 years 1 months ago
2012
Springer
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...