3022 search results - page 36 / 605 » Make Way for WayMaker |
240
click to vote
ICDE
2006
IEEE
16 years 4 months ago
2006
IEEE
One important way in which sampling for approximate query processing in a database environment differs from traditional applications of sampling is that in a database, it is feasi...
100
click to vote
CHI
2007
ACM
16 years 3 months ago
2007
ACM
The movement of music from physical discs to digital resources managed on a computer has had an effect on the listening habits of users. We explore using the potential of the inna...
119
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
Much research concerning Satisfiability Modulo Theories is devoted to the design of efficient SMT-solvers that integrate a SATsolver with T -satisfiability procedures. The rewrite-...
100
click to vote
ICIAP
2001
Springer
16 years 3 months ago
2001
Springer
In this paper, a new segmentation technique for multivalued images is elaborated. The technique makes use of the first fundamental form to access edge information of a multivalued...
ADC
2009
Springer
15 years 9 months ago
2009
Springer
The paper presents the S.E.A.L. query language and interpreter for entity-association queries that allows such queries to be expressed in a much simpler way than in SQL. S.E.A.L (...