Sciweavers

540 search results - page 18 / 108
» 07471 Abstracts Collection - Equilibrium Computation
Sort
View
WOTUG
2008
13 years 8 months ago
Process-Oriented Collective Operations
Abstract. Distributing process-oriented programs across a cluster of machines requires careful attention to the effects of network latency. The MPI standard, widely used for cluste...
John Markus Bjørndalen, Adam T. Sampson
CSL
2008
Springer
13 years 8 months ago
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
Ruzica Piskac, Viktor Kuncak
ECBS
2005
IEEE
88views Hardware» more  ECBS 2005»
14 years 10 days ago
Integrative Architecture Elicitation for Large Computer Based Systems
Large and complex computer based systems are the result of an evolution process which may take many years. Heterogeneity is an important characteristic of such systems: During the...
Peter Tabeling, Bernhard Gröne
ECIR
2009
Springer
14 years 3 months ago
Representing User Navigation in XML Retrieval with Structural Summaries
Abstract. This poster presents a novel way to represent user navigation in XML retrieval using collection statistics from XML summaries. Currently, developing user navigation model...
Mir Sadek Ali, Mariano P. Consens, Birger Larsen
ISCIS
2003
Springer
13 years 12 months ago
Comparison of New Simple Weighting Functions for Web Documents against Existing Methods
Abstract. Term weighting is one of the most important aspects of modern Web retrieval systems. The weight associated with a given term in a document shows the importance of the ter...
Byurhan Hyusein, Ahmed Patel, Ferad Zyulkyarov