Sciweavers

2451 search results - page 419 / 491
» Effective View Navigation
Sort
View
JAIR
2006
117views more  JAIR 2006»
14 years 12 months ago
Admissible and Restrained Revision
As partial justification of their framework for iterated belief revision Darwiche and Pearl convincingly argued against Boutilier's natural revision and provided a prototypic...
Richard Booth, Thomas Andreas Meyer
JANCL
2006
105views more  JANCL 2006»
14 years 12 months ago
BDD-based decision procedures for the modal logic K
We describe BDD-based decision procedures for the modal logic K. Our approach is inspired by the automata-theoretic approach, but we avoid explicit automata construction. Instead, ...
Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi
JASIS
2006
84views more  JASIS 2006»
14 years 12 months ago
A "stereo" document representation for textual information retrieval
Encouraged by a significant improvement over LSI (latent semantic indexing) approach in textual information retrieval of the DLSI (differential latent semantic indexing) approach ...
Liang Chen, Jia Zeng, Naoyuki Tokuda
JMIV
2006
176views more  JMIV 2006»
14 years 12 months ago
Centroidal Voronoi Tessellation Algorithms for Image Compression, Segmentation, and Multichannel Restoration
Centroidal Voronoi tessellations (CVT's) are special Voronoi tessellations for which the generators of the tessellation are also the centers of mass (or means) of the Voronoi ...
Qiang Du, Max Gunzburger, Lili Ju, Xiaoqiang Wang
MTA
2008
179views more  MTA 2008»
14 years 12 months ago
Explicit semantic events detection and development of realistic applications for broadcasting baseball videos
This paper presents a framework that explicitly detects events in broadcasting baseball videos and facilitates the development of many practical applications. Three phases of contr...
Wei-Ta Chu, Ja-Ling Wu