Sciweavers

3172 search results - page 148 / 635
» New developments of the Z-EDM algorithm
Sort
View
ICRA
2006
IEEE
61views Robotics» more  ICRA 2006»
15 years 10 months ago
Simulated Odor Tracking in a Plane Normal to the Wind Direction
— A new strategy is developed for tracking an odor plume in an environment where wind is present. The strategy is inspired by the mechanisms that animals use to orient to stimuli...
Adam J. Rutkowski, Mark A. Willis, Roger D. Quinn
144
Voted
KBSE
2005
IEEE
15 years 9 months ago
Learning to verify branching time properties
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
Abhay Vardhan, Mahesh Viswanathan
SIGIR
2004
ACM
15 years 9 months ago
Corpus structure, language models, and ad hoc information retrieval
Most previous work on the recently developed languagemodeling approach to information retrieval focuses on document-specific characteristics, and therefore does not take into acc...
Oren Kurland, Lillian Lee
CIKM
2011
Springer
14 years 4 months ago
Factorization-based lossless compression of inverted indices
Many large-scale Web applications that require ranked top-k retrieval are implemented using inverted indices. An inverted index represents a sparse term-document matrix, where non...
George Beskales, Marcus Fontoura, Maxim Gurevich, ...
ICIP
2006
IEEE
16 years 5 months ago
Regular Hybrid Wavelets and Directional Filter Banks: Extensions and Applications
In a previous work, we proposed a new family of nonredundant geometrical image transforms using Hybrid Wavelets and Directional filter banks (HWD). In this paper we further develo...
Ramin Eslami, Hayder Radha