3022 search results - page 36 / 605 » Make Way for WayMaker |
ICDE
2006
IEEE
14 years 11 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...
CHI
2007
ACM
14 years 10 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...
CADE
2007
Springer
14 years 10 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-...
ICIAP
2001
Springer
14 years 10 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
14 years 4 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 (...