Sciweavers

656 search results - page 67 / 132
» Symbolic computing of nonlinear observable and observer form...
Sort
View
ICCV
2005
IEEE
15 years 11 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
15 years 11 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
15 years 10 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
15 years 10 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
15 years 10 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 ...