260 search results - page 33 / 52 » Dynamic polar diagram |
165
click to vote
SECON
2008
IEEE
16 years 14 days 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 ...
145
click to vote
TGC
2005
Springer
15 years 11 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...
173
Voted
ROBOCUP
2007
Springer
16 years 6 days 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...
145
click to vote
CGO
2010
IEEE
16 years 29 days 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...
264
Voted
ICFP
2009
ACM
16 years 6 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 ...