5550 search results - page 951 / 1110 » Different Approaches to Proof Systems |
198
click to vote
SI3D
2006
ACM
16 years 17 days ago
2006
ACM
This paper studies jump flooding as an algorithmic paradigm in the general purpose computation with GPU. As an example application of jump flooding, the paper discusses a constant...
176
click to vote
ASWEC
2005
IEEE
16 years 7 days ago
2005
IEEE
The usefulness of design patterns in forward engineering is already well-known and several tools provide support for their application in the development of software systems. Whil...
165
click to vote
CCGRID
2005
IEEE
16 years 7 days ago
2005
IEEE
Partial replication is one type of optimization to speed up execution of queries submitted to large datasets. In partial replication, a portion of the dataset is extracted, re-org...
166
click to vote
CEC
2005
IEEE
16 years 7 days ago
2005
IEEE
Computed prediction represents a major shift in learning classifier system research. XCS with computed prediction, based on linear approximators, has been applied so far to functi...
185
click to vote
CVPR
2005
IEEE
16 years 6 days ago
2005
IEEE
With the aim to design a general learning framework for detecting faces of various poses or under different lighting conditions, we are motivated to formulate the task as a classi...