Sciweavers

8190 search results - page 72 / 1638
» From Timed to Hybrid Systems
Sort
View
KRDB
2003
184views Database» more  KRDB 2003»
13 years 9 months ago
Some Practical Issues in Building a Hybrid Deductive Geographic Information System with a DL Component
We report about some preliminary issues from the DFG project “Description Logics and Spatial Reasoning” (“DLS”, DFG Grant NE 279/8-1), one of whose goals is to develop a p...
Michael Wessel
ISCAS
2005
IEEE
115views Hardware» more  ISCAS 2005»
14 years 1 months ago
Observed hybrid oscillations in an electrical distribution system
Slow oscillations, with a period of around 15 minutes, were observed in an 11kV electrical distribution system. Investigations determined that the oscillations were a result of in...
Vaibhav Donde, Ian A. Hiskens
ICTAC
2009
Springer
13 years 5 months ago
GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems
The GSPeeDI tool implements a decision procedure for the reachability analysis of GSPDIs, planar hybrid systems whose dynamics is given by differential inclusions, and that are not...
Hallstein Asheim Hansen, Gerardo Schneider
GIAE
2004
Springer
153views Mathematics» more  GIAE 2004»
14 years 1 months ago
Hybrid Method for Solving New Pose Estimation Equation System
Camera pose estimation is the problem of determining the position and orientation of an internally calibrated camera from known 3D reference points and their images. We introduce a...
Gregory J. Reid, Jianliang Tang, Jianping Yu, Liho...
IEEECIT
2009
IEEE
14 years 2 months ago
Clustering of Software Systems Using New Hybrid Algorithms
—Software clustering is a method for increasing software system understanding and maintenance. Software designers, first use MDG graph to model the structure of software system. ...
Ali Safari Mamaghani, Mohammad Reza Meybodi