7195 search results - page 564 / 1439 » On Computing Power |
184
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
We provide in this article two characterisation results, describing exactly which terms verify the dinaturality diagram, in Church-style system F and in Curry-style system F. The ...
162
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— Existing tone-reservation algorithms (such as the controlled clipper algorithm) for OFDM require a number of iterations to ensure the reduction of Peak-to-Average Power Ratio (...
174
click to vote
AI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Interactive data mining focuses on efficient and effective humancomputer interactions for data analysis purposes. An interactive system is an integration of a human user ...
195
click to vote
ISVC
2005
Springer
16 years 18 days ago
2005
Springer
This paper presents a new method for projecting a mesh model of a source object onto a surface of an arbitrary target object. A deformable model, called Self-organizing Deformable ...
139
click to vote
CCGRID
2002
IEEE
16 years 2 days ago
2002
IEEE
This paper is concerned with the efficient execution of multiple query workloads on a cluster of SMPs. We target applications that access and manipulate large scientific dataset...