Sciweavers

614 search results - page 96 / 123
» Automatically Constructing a Dictionary for Information Extr...
Sort
View
FMCAD
2000
Springer
15 years 3 months ago
Automated Refinement Checking for Asynchronous Processes
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
Rajeev Alur, Radu Grosu, Bow-Yaw Wang
MTA
2006
218views more  MTA 2006»
14 years 11 months ago
Object-based MPEG-2 video indexing and retrieval in a collaborative environment
In this paper, an object-based video retrieval methodology for search in large, heterogeneous video collections is presented. The proposed approach employs a real-time, compressed-...
Vasileios Mezaris, Ioannis Kompatsiaris, Michael G...
EHCI
2004
15 years 1 months ago
Finding Iteration Patterns in Dynamic Web Page Authoring
Most of the current WWW is made up of dynamic pages. The development of dynamic pages is a difficult and costly endeavour, out-of-reach for most users, experts, and content produce...
José A. Macías, Pablo Castells
ICAC
2005
IEEE
15 years 5 months ago
Multi-resolution Abnormal Trace Detection Using Varied-length N-grams and Automata
Detection and diagnosis of faults in a large-scale distributed system is a formidable task. Interest in monitoring and using traces of user requests for fault detection has been o...
Guofei Jiang, Haifeng Chen, Cristian Ungureanu, Ke...
IROS
2009
IEEE
196views Robotics» more  IROS 2009»
15 years 6 months ago
Scene recognition with omnidirectional vision for topological map using lightweight adaptive descriptors
Abstract— Mobile robots rely on their ability of scene recognition to build a topological map of the environment and perform location-related tasks. In this paper, we describe a ...
Ming Liu, Davide Scaramuzza, Cédric Pradali...