Sciweavers

537 search results - page 69 / 108
» Representativeness models of systems: smart grid example
Sort
View
GIS
2006
ACM
14 years 9 months ago
Representation of periodic moving objects in databases
In the real world, lots of objects with changing position can be found. Some of them repeat the same movement several times, called periodic movements. Examples include airplanes,...
Ralf Hartmut Güting, Thomas Behr, Victor Teix...
TSE
2011
134views more  TSE 2011»
13 years 3 months ago
Verifying the Evolution of Probability Distributions Governed by a DTMC
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
YoungMin Kwon, Gul A. Agha
JELIA
2004
Springer
14 years 2 months ago
Towards a Logical Analysis of Biochemical Pathways
Biochemical pathways or networks are generic representations used to model many different types of complex functional and physical interactions in biological systems. Models based ...
Patrick Doherty, Steve Kertes, Martin Magnusson, A...
EDOC
2007
IEEE
14 years 3 months ago
On Interoperability and Conformance Assessment in Service Composition
The process of composing a service from other services typically involves multiple models. These models may represent the service from distinct perspectives, e.g., to model the di...
Dick A. C. Quartel, Marten van Sinderen
ICRA
2010
IEEE
170views Robotics» more  ICRA 2010»
13 years 7 months ago
Robust vehicle localization in urban environments using probabilistic maps
— Autonomous vehicle navigation in dynamic urban environments requires localization accuracy exceeding that available from GPS-based inertial guidance systems. We have shown prev...
Jesse Levinson, Sebastian Thrun