Sciweavers

7117 search results - page 424 / 1424
» IT Governance Frameworks as Methods
Sort
View
SAS
2005
Springer
132views Formal Methods» more  SAS 2005»
16 years 10 days ago
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
Roberto Bagnara, Enric Rodríguez-Carbonell,...
ROBOCUP
2004
Springer
103views Robotics» more  ROBOCUP 2004»
16 years 6 days ago
A Constructive Feature Detection Approach for Robotic Vision
We describe a new method for detecting features on a marked RoboCup field. We implemented the framework for robots with omnidirectional vision, but the method can be easily adapte...
Felix von Hundelshausen, Michael Schreiber, Ra&uac...
DCW
2000
Springer
15 years 11 months ago
Message Chains and Disjunct Paths for Increasing Communication Performance in Large Networks
Abstract. In this paper we propose a simple powerful method to increase communication performance in large networks such as the Internet. Our approach is based on the usage multipl...
Markus Wulff, Peter G. Kropf, Herwig Unger
180
Voted
ICVGIP
2008
15 years 8 months ago
Frequency Domain Visual Servoing Using Planar Contours
Fourier domain methods have had a long association with geometric vision. In this paper, we introduce Fourier domain methods into the field of visual servoing for the first time. ...
Visesh Chari, Avinash Sharma, Anoop M. Namboodiri,...
AAAI
1998
15 years 8 months ago
Branch and Bound Algorithm Selection by Performance Prediction
Wepropose a method called Selection by Performance Prediction (SPP) which allows one, when faced with a particular problem instance, to select a Branch and Boundalgorithm from amo...
Lionel Lobjois, Michel Lemaître