2062 search results - page 227 / 413 » Derivatives of Logical Formulas |
159
click to vote
KDD
2002
ACM
16 years 7 months ago
2002
ACM
We present a framework for mining association rules from transactions consisting of categorical items where the data has been randomized to preserve privacy of individual transact...
170
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
156
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Living cells are characterized by small populations of key molecular components that have large stochastic noise associated with them. Various gene network motifs exists within...
155
click to vote
PIMRC
2008
IEEE
16 years 29 days ago
2008
IEEE
—The call-level performance modelling and evaluation of 3G cellular networks is important for the proper network dimensioning and efficient use of the network resources, such as ...
174
click to vote
ISCC
2003
IEEE
15 years 12 months ago
2003
IEEE
Host-based rerouting mechanism is a routing scheme that stores and forwards data in application layer. With this, users can communicate in a indirect way. Thus, identity informati...