Sciweavers

656 search results - page 67 / 132
» Symbolic computing of nonlinear observable and observer form...
Sort
View
ICCV
2005
IEEE
14 years 2 months ago
A Model-Based Vehicle Segmentation Method for Tracking
Our goal is to detect and track moving vehicles on a road observed from cameras placed on poles or buildings. Inter-vehicle occlusion is significant under these conditions and tra...
Xuefeng Song, Ramakant Nevatia
SI3D
2003
ACM
14 years 2 months ago
Non-invasive interactive visualization of dynamic architectural environments
We present a system for interactively producing exploded views of 3D architectural environments such as multi-story buildings. These exploded views allow viewers to simultaneously...
Christopher Niederauer, Mike Houston, Maneesh Agra...
DCC
2000
IEEE
14 years 1 months ago
Multiple Description Lattice Vector Quantization: Variations and Extensions
Multiple description lattice vector quantization (MDLVQ) is a technique for two-channel multiple description coding. We observe that MDLVQ, in the form introduced by Servetto, Vai...
Jonathan A. Kelner, Vivek K. Goyal, Jelena Kovacev...
PPSN
1998
Springer
14 years 1 months ago
Ant Colonies for Adaptive Routing in Packet-Switched Communications Networks
In this paper we present AntNet, a novel adaptive approach to routing tables learning in packet-switched communications networks. AntNet is inspired by the stigmergy model of commu...
Gianni Di Caro, Marco Dorigo
ICDCS
1993
IEEE
14 years 1 months ago
Diagnosis of Single Transition Faults in Communicating Finite State Machines
In this paper, we propose a diagnostic algorithm for the case where distributed system specifications (implementations) are given in the form of communicating finite state machine...
Abderrazak Ghedamsi, Gregor von Bochmann, Rachida ...