Sciweavers

320 search results - page 16 / 64
» Constructing Invariants for Hybrid Systems
Sort
View
IWSSD
2000
IEEE
14 years 29 days ago
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation
This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Se...
Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bu...
TIP
2008
138views more  TIP 2008»
13 years 8 months ago
Rotation-Invariant Texture Retrieval via Signature Alignment Based on Steerable Sub-Gaussian Modeling
This paper addresses the construction of a novel efficient rotation-invariant texture retrieval method that is based on the alignment in angle of signatures obtained via a steerabl...
George Tzagkarakis, Baltasar Beferull-Lozano, Pana...
HEURISTICS
2010
13 years 3 months ago
An evolutionary and constructive approach to a crew scheduling problem in underground passenger transport
Operation management of underground passenger transport systems is associated with combinatorial optimization problems (known as crew and train scheduling and rostering) which bel...
Rafael Elizondo, Víctor Parada, Lorena Prad...
VR
2008
IEEE
160views Virtual Reality» more  VR 2008»
14 years 3 months ago
Envisor: Online Environment Map Construction for Mixed Reality
One of the main goals of anywhere augmentation is the development of automatic algorithms for scene acquisition in augmented reality systems. In this paper, we present Envisor, a ...
Stephen DiVerdi, Jason Wither, Tobias Höllere...
PRL
2006
106views more  PRL 2006»
13 years 8 months ago
Invariances in kernel methods: From samples to objects
This paper presents a general method for incorporating prior knowledge into kernel methods such as Support Vector Machines. It applies when the prior knowledge can be formalized b...
Alexei Pozdnoukhov, Samy Bengio