Sciweavers

6279 search results - page 992 / 1256
» Studies in Solution Sampling
Sort
View
162
Voted
CSL
2005
Springer
15 years 10 months ago
Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
Frédéric Blanqui
DEXA
2005
Springer
109views Database» more  DEXA 2005»
15 years 10 months ago
Web Query Expansion by WordNet
In this paper, we address a novel method of Web query expansion by using WordNet and TSN. WordNet is an online lexical dictionary which describes word relationships in three dimens...
Zhiguo Gong, Chan Wa Cheang, Leong Hou U
147
Voted
DILS
2005
Springer
15 years 10 months ago
Integrating Heterogeneous Microarray Data Sources Using Correlation Signatures
Abstract. Microarrays are one of the latest breakthroughs in experimental molecular biology. Thousands of different research groups generate tens of thousands of microarray gene e...
Jaewoo Kang, Jiong Yang, Wanhong Xu, Pankaj Chopra
130
Voted
DSOM
2005
Springer
15 years 10 months ago
Utilization and SLO-Based Control for Dynamic Sizing of Resource Partitions
This paper deals with a shared server environment where the server is divided into a number of resource partitions and used to host multiple applications at the same time. In a cas...
Zhikui Wang, Xiaoyun Zhu, Sharad Singhal
ESA
2005
Springer
125views Algorithms» more  ESA 2005»
15 years 10 months ago
Online Primal-Dual Algorithms for Covering and Packing Problems
We study a wide range of online covering and packing optimization problems. In an online covering problem a linear cost function is known in advance, but the linear constraints th...
Niv Buchbinder, Joseph Naor