Sciweavers

1119 search results - page 49 / 224
» On the Invariance of Ant System
Sort
View
CDC
2010
IEEE
165views Control Systems» more  CDC 2010»
14 years 4 months ago
The behavior of linear time invariant RLC circuits
It is shown that just as we did for a purely resistive network [10], that circuit analysis is very simple if the elements are described not by potentials across and currents throug...
Erik I. Verriest, Jan C. Willems
ICCV
2007
IEEE
15 years 11 months ago
Perspectively Invariant Normal Features
We extend the successful 2D robust feature concept into the third dimension in that we produce a descriptor for a reconstructed 3D surface region. The descriptor is perspectively ...
Kevin Köser, Reinhard Koch
ICSE
2010
IEEE-ACM
15 years 1 months ago
Zenet: generating and enforcing real-time temporal invariants
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
Chris Lewis
JANCL
2008
133views more  JANCL 2008»
14 years 9 months ago
Modal logic and invariance
Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with genera...
Johan van Benthem, Denis Bonnay
ICVS
2009
Springer
15 years 4 months ago
Evaluating the Suitability of Feature Detectors for Automatic Image Orientation Systems
Abstract. We investigate the suitability of different local feature detectors for the task of automatic image orientation under different scene texturings. Building on an existin...
Timo Dickscheid, Wolfgang Förstner