260 search results - page 33 / 52 » Dynamic polar diagram |
SECON
2008
IEEE
14 years 4 months ago
2008
IEEE
—In the near future, broadband air-ground (A/G) communications will be used by civil aviation aircraft flying over crowded continental areas such as Europe and North America to ...
TGC
2005
Springer
14 years 3 months ago
2005
Springer
We study fusion and binding mechanisms in name passing process calculi. To this purpose, we introduce the U-Calculus, a process calculus with no I/O polarities and a unique form of...
ROBOCUP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
CGO
2010
IEEE
14 years 4 months ago
2010
IEEE
Prior work has shown that reduced, ordered, binary decision diagrams (BDDs) can be a powerful tool for program trace analysis and visualization. Unfortunately, it can take hours o...
ICFP
2009
ACM
14 years 10 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...