220 search results - page 39 / 44 » Using Difference Reduction for Generic Proof Search |
104
Voted
ERLANG
2007
ACM
15 years 5 months ago
2007
ACM
The built-in process registry has proven to be an extremely useful feature of the Erlang language. It makes it easy to provide named services, which can be reached without knowing...
125
Voted
ICDCS
2008
IEEE
15 years 7 months ago
2008
IEEE
A multi-object operation incurs communication or synchronization overhead when the requested objects are distributed over different nodes. The object pair correlations (the probab...
116
click to vote
IS
2008
15 years 1 months ago
2008
Performing data mining tasks in streaming data is considered a challenging research direction, due to the continuous data evolution. In this work, we focus on the problem of clust...
112
Voted
IPPS
2002
IEEE
15 years 6 months ago
2002
IEEE
Systemic pathways-oriented approaches to analysis of metabolic networks are effective for small networks but are computationally infeasible for genome scale networks. Current comp...
124
Voted
TKDE
2010
14 years 11 months ago
2010
—Probabilistic topic models were originally developed and utilised for document modeling and topic extraction in Information Retrieval. In this paper we describe a new approach f...