1399 search results - page 224 / 280 » New Algorithms for k-Center and Extensions |
HPDC
1997
IEEE
14 years 8 days ago
1997
IEEE
High-performance execution in distributed computing environments often requires careful selection and configuration not only of computers, networks, and other resources but also o...
CSE
2009
IEEE
14 years 22 hour ago
2009
IEEE
—Context, the pieces of information that capture the characteristics of ubiquitous computing environment, is often imprecise and incomplete due to user mobility, unreliable wirel...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
Web Page segmentation is a crucial step for many applications in Information Retrieval, such as text classification, de-duplication and full-text search. In this paper we describe...
APN
2006
Springer
13 years 10 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
AAAI
2010
13 years 10 months ago
2010
Many problems require repeated inference on probabilistic graphical models, with different values for evidence variables or other changes. Examples of such problems include utilit...