1813 search results - page 147 / 363 » Instance Pruning Techniques |
223
click to vote
JSC
2010
15 years 1 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
169
click to vote
CCGRID
2003
IEEE
15 years 11 months ago
2003
IEEE
Fixed-parameter tractability (FPT) techniques have recently been successful in solving NP-complete problem instances of practical importance which were too large to be solved with...
176
click to vote
KDD
2006
ACM
16 years 6 months ago
2006
ACM
This work introduces distance-based criteria for segmentation of object trajectories. Segmentation leads to simplification of the original objects into smaller, less complex primi...
260
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Recently, skyline queries have attracted much attention in the database research community. Space partitioning techniques, such as recursive division of the data space, have been ...
151
click to vote
DASFAA
2007
IEEE
16 years 23 days ago
2007
IEEE
In the era of the Internet, more and more privacy-sensitive data is published online. Even though this kind of data are published with sensitive attributes such as name and social ...