9405 search results - page 323 / 1881 » Computing a Model of Set Theory |
127
Voted
ICA3PP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. In this paper we report on the recent progress in computing bivariate polynomial resultants on Graphics Processing Units (GPU). Given two polynomials in Z[x, y], our algo...
110
click to vote
APWEB
2006
Springer
15 years 8 months ago
2006
Springer
We give a new view on building content clusters from page pair models. We measure the heuristic importance within every two pages by computing the distance of their accessed positi...
156
click to vote
TOMACS
1998
15 years 4 months ago
1998
architectures at multiple levels of abstraction, encompassing both hardware and software. It has five modes of operation (Design, Model Validation, Build Simulation, Simulate Syste...
129
click to vote
ISMIR
2004
Springer
15 years 10 months ago
2004
Springer
A set of principles (based on Gestalt theory) governing how we group notes into meaningful groups has been widely accepted in the literature. Based on these principles, many diver...
136
click to vote
CIE
2006
Springer
15 years 8 months ago
2006
Springer
or representation theory of groups), and even borrows abstract geometrical concepts like Euler characteristic or Grothendieck ring. However, the most stimulating for proof complexi...