4460 search results - page 274 / 892 » Resources in process algebra |
169
click to vote
AML
2010
15 years 6 months ago
2010
In Abstract Algebraic Logic, the general study of propositional non-classical logics has been traditionally based on the abstraction of the Lindenbaum-Tarski process. In this proce...
208
click to vote
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
Nonnegative matrix tri-factorization (NMTF) is a 3-factor decomposition of a nonnegative data matrix, X USV , where factor matrices, U, S, and V , are restricted to be nonnegativ...
259
click to vote
VLDB
2005
ACM
16 years 6 months ago
2005
ACM
The traditional model of bench (wet) chemistry in many life sciences domain is today actively complimented by computer-based discoveries utilizing the growing number of online data...
178
click to vote
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper, we study the election of multiple leaders for intrusion detection in the presence of selfish nodes in mobile ad hoc networks (MANETs). To balance the resource co...
196
click to vote
CGO
2006
IEEE
16 years 21 days ago
2006
IEEE
As the amount of available silicon resources on one chip increases, we have seen the advent of ever increasing parallel resources integrated on-chip. Many architectures use these ...