Sciweavers

289 search results - page 24 / 58
» A Direct Construction of a Universal Extended H System
Sort
View
TITS
2010
201views Education» more  TITS 2010»
13 years 2 months ago
A Review of the Applications of Agent Technology in Traffic and Transportation Systems
The agent computing paradigm is rapidly emerging as one of the powerful technologies for the development of largescale distributed systems to deal with the uncertainty in a dynamic...
Bo Chen, Harry H. Cheng
IROS
2008
IEEE
126views Robotics» more  IROS 2008»
14 years 1 months ago
An optical external localization system and applications to indoor tracking
— Precise robot positioning is important for many applications in indoor environments. Current solutions to the indoor localization problem are either both unreliable and inaccur...
Srujan Linga, Binayak Roy, H. Harry Asada, Daniela...
ISCAS
1999
IEEE
109views Hardware» more  ISCAS 1999»
13 years 11 months ago
Solution of vector partial differential equations by transfer function models
Transfer function models for the descriptionof physical systems have recently been introduced to the field of multidimensional digital signal processing. They provide an alternati...
Rudolf Rabenstein, Lutz Trautmann
RTA
2010
Springer
13 years 11 months ago
Automated Confluence Proof by Decreasing Diagrams based on Rule-Labelling
Decreasing diagrams technique (van Oostrom, 1994) is a technique that can be widely applied to prove confluence of rewrite systems. To directly apply the decreasing diagrams techn...
Takahito Aoto
WSC
1998
13 years 8 months ago
Multimodels and Dynamic Structure Models: An Integration of DSDE/DEVS and OOPM
Constructing models of systems that change their structure over time has proved to be a challenging problem, with several proposed solutions. We present two of these approaches an...
Fernando J. Barros, Bernard P. Zeigler, Paul A. Fi...