2410 search results - page 331 / 482 » Multiset Ordering Constraints |
272
click to vote
ICDE
2008
IEEE
16 years 6 months ago
2008
IEEE
Many new applications that involve decision making need online (i.e., OLAP-styled) preference analysis with multidimensional boolean selections. Typical preference queries includes...
252
click to vote
ICDE
2008
IEEE
16 years 6 months ago
2008
IEEE
When disseminating data involving human subjects, researchers have to weigh in the requirements of privacy of the individuals involved in the data. A model widely used for enhancin...
242
click to vote
ICDE
2002
IEEE
16 years 6 months ago
2002
IEEE
Besides being adopted as the new interchange format for the Internet, XML is finding increasing acceptance as a native data repository language. In order to make XML repositories ...
104
click to vote
MICCAI
2009
Springer
16 years 6 months ago
2009
Springer
A natural requirement in pairwise image registration is that the resulting deformation is independent of the order of the images. This constraint is typically achieved via a symmet...
153
click to vote
DAC
2009
ACM
16 years 6 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...