Sciweavers

2905 search results - page 440 / 581
» Formal Memetic Algorithms
Sort
View
PPOPP
2010
ACM
16 years 24 days ago
Featherweight X10: a core calculus for async-finish parallelism
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...
Jonathan K. Lee, Jens Palsberg
136
Voted
SDM
2009
SIAM
205views Data Mining» more  SDM 2009»
16 years 22 days ago
Identifying Information-Rich Subspace Trends in High-Dimensional Data.
Identifying information-rich subsets in high-dimensional spaces and representing them as order revealing patterns (or trends) is an important and challenging research problem in m...
Chandan K. Reddy, Snehal Pokharkar
117
Voted
SDM
2009
SIAM
118views Data Mining» more  SDM 2009»
16 years 22 days ago
Finding Links and Initiators: A Graph-Reconstruction Problem.
Consider a 0–1 observation matrix M, where rows correspond to entities and columns correspond to signals; a value of 1 (or 0) in cell (i, j) of M indicates that signal j has bee...
Evimaria Terzi, Heikki Mannila
135
Voted
ICWS
2009
IEEE
16 years 21 days ago
Integrating Behavioral Trust in Web Service Compositions
Algorithms for composing Web services (WS) traditionally utilize the functional and quality-of-service parameters of candidate services to decide which services to include in the ...
Sharon Paradesi, Prashant Doshi, Sonu Swaika
ICDCS
2009
IEEE
16 years 21 days ago
Optimizing File Retrieval in Delay-Tolerant Content Distribution Community
In WiFi-based content distribution community infrastructure (CDCI), file servers are deployed in diverse locations around cities, caching popular files interesting to a communit...
Ying Huang, Yan Gao, Klara Nahrstedt, Wenbo He