11484 search results - page 276 / 2297 » Modeling in the Large and Modeling in the Small |
169
click to vote
WEBI
2005
Springer
16 years 3 days ago
2005
Springer
We profile a system for search and analysis of largescale email archives. The system builds around four facets: Content-based search engine, statistical topic model, automaticall...
169
click to vote
SAMOS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract— The translation of user requirements to system constraints and parameters during an exploration exercise is a hard problem, especially in the context of large scale emb...
150
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
The Walksat local search algorithm has previously been extended to handle quantification over variables. This greatly reduces model sizes, but in order to guide greedy moves the a...
236
click to vote
VOSS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper describes symbolic techniques for the construction, representation and analysis of large, probabilistic systems. Symbolic approaches derive their efficiency by...
168
click to vote
SC
2003
ACM
15 years 12 months ago
2003
ACM
Buffered CoScheduled MPI (BCS-MPI) introduces a new approach to design the communication layer for largescale parallel machines. The emphasis of BCS-MPI is on the global coordinat...