Sciweavers

557 search results - page 82 / 112
» Containment Join Size Estimation: Models and Methods
Sort
View
CIKM
2009
Springer
15 years 10 months ago
Easiest-first search: towards comprehension-based web search
Although Web search engines have become information gateways to the Internet, for queries containing technical terms, search results often contain pages that are difficult to be ...
Makoto Nakatani, Adam Jatowt, Katsumi Tanaka
153
Voted
RTCSA
1999
IEEE
15 years 8 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
IDEAS
2003
IEEE
117views Database» more  IDEAS 2003»
15 years 9 months ago
A Multi-Resolution Block Storage Model for Database Design
We propose a new storage model called MBSM (Multiresolution Block Storage Model) for laying out tables on disks. MBSM is intended to speed up operations such as scans that are typ...
Jingren Zhou, Kenneth A. Ross
ALIFE
2000
15 years 3 months ago
Talking Helps: Evolving Communicating Agents for the Predator-Prey Pursuit Problem
We analyze a general model of multi-agent communication in which all agents communicate simultaneously to a message board. A genetic algorithm is used to evolve multi-agent languag...
Kam-Chuen Jim, C. Lee Giles
140
Voted
CVPR
2007
IEEE
16 years 6 months ago
Belief Propagation in a 3D Spatio-temporal MRF for Moving Object Detection
Previous pixel-level change detection methods either contain a background updating step that is costly for moving cameras (background subtraction) or can not locate object positio...
Zhaozheng Yin, Robert T. Collins