Sciweavers

697 search results - page 18 / 140
» Diet: New Developments and Recent Results
Sort
View
IGPL
2000
152views more  IGPL 2000»
15 years 5 days ago
An Analysis of Empirical Testing for Modal Decision Procedures
Recent years have seen the emergence of a new generation of heavily-optimised modal decision procedures. Several systems based on such procedures are now available and have proved...
Ian Horrocks, Peter F. Patel-Schneider, Roberto Se...
98
Voted
ICCV
2001
IEEE
16 years 2 months ago
Computing Visual Correspondence with Occlusions via Graph Cuts
Several new algorithms for visual correspondence based on graph cuts [6, 13, 16] have recently been developed. While these methods give very strong results in practice, they do no...
Vladimir Kolmogorov, Ramin Zabih
JMLR
2010
118views more  JMLR 2010»
14 years 7 months ago
Exploiting Within-Clique Factorizations in Junction-Tree Algorithms
It is probably fair to say that exact inference in graphical models is considered a solved problem, at least regarding its computational complexity: it is exponential in the treew...
Julian John McAuley, Tibério S. Caetano
93
Voted
HCI
2007
15 years 1 months ago
Getting Lost? Touch and You Will Find! The User-Centered Design Process of a Touch Screen
Recent reforms in office concepts have led to new intensification strategies that aim at more flexibility and efficiency. Hot desking is one of these new working practices that red...
Bieke Zaman, Rogier Vermaut
137
Voted
EDBT
2004
ACM
234views Database» more  EDBT 2004»
16 years 15 days ago
A Condensation Approach to Privacy Preserving Data Mining
In recent years, privacy preserving data mining has become an important problem because of the large amount of personal data which is tracked by many business applications. In many...
Charu C. Aggarwal, Philip S. Yu