Sciweavers

2940 search results - page 34 / 588
» Relational Parametricity and Control
Sort
View
JAR
2008
107views more  JAR 2008»
14 years 9 months ago
Differential Dynamic Logic for Hybrid Systems
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
André Platzer
EL
2002
181views more  EL 2002»
14 years 9 months ago
Aspects of networking in multiplayer computer games
Distributed, real-time multiplayer computer games (MCGs) are in the vanguard of utilizing the networking possibilities. Although related research have been done in military simulat...
Jouni Smed, Timo Kaukoranta, Harri Hakonen
HICSS
2003
IEEE
107views Biometrics» more  HICSS 2003»
15 years 3 months ago
XML Access Control for Semantically Related XML Documents
The extensible markup language (XML) is a standard for describing information on the Internet and is quickly becoming the most preferred way to store and exchange information. The...
Vijay Parmar, Hongchi Shi, Su-Shing Chen
MVA
2000
159views Computer Vision» more  MVA 2000»
14 years 11 months ago
Yet Another Appearance-Based Method for Pose Estimation Based on a linear Model
This paper explores the possibility of a linear model as a solution to the problem of appearance-based pose estimation. The parametric eigenspace method (or its extensions that ar...
Takayuki Okatani, Koichiro Deguchi
CDC
2009
IEEE
144views Control Systems» more  CDC 2009»
15 years 2 months ago
Stability of quantized time-delay nonlinear systems: A Lyapunov-Krasowskii-functional approach
Lyapunov-Krasowskii functionals are used to design quantized continuous-time control laws for nonlinear systems in the presence of time-invariant pointwise delays in the input. Th...
Claudio De Persis, Frédéric Mazenc