Sciweavers

3415 search results - page 125 / 683
» Physical Design Refinement: The
Sort
View
94
Voted
ROBOCUP
2001
Springer
109views Robotics» more  ROBOCUP 2001»
15 years 5 months ago
Multi-platform Soccer Robot Development System
Abstract. Robot soccer is a challenging research domain, which involves multiple agents (physical robots or ”softbots”) to work together in a dynamic, noisy, cooperative and ad...
Hui Wang, Han Wang, Chunmiao Wang, William Y. C. S...
JSAC
2008
83views more  JSAC 2008»
15 years 29 days ago
Cross-layer adaptive routing and wavelength assignment in all-optical networks
Abstract-- In WDM all-optical networks where electrical regeneration is not available, physical impairments due to propagation in the fibers, amplifier noise, and leaks between cha...
Yvan Pointurier, Maïté Brandt-Pearce, ...
201
Voted
POPL
2006
ACM
16 years 1 months ago
Why dependent types matter
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
James McKinna
106
Voted
BIRTHDAY
2000
Springer
15 years 5 months ago
Compiler Construction - The Art of Niklaus Wirth
Niklaus Wirth is not only a master of language design but also a pioneer of compiler construction. For four decades he has refined his techniques for building simple, efficient an...
Hanspeter Mössenböck
GD
2000
Springer
15 years 4 months ago
A User Study in Similarity Measures for Graph Drawing
Abstract. The need for a similarity measure for comparing two drawings of graphs arises in problems such as interactive graph drawing and the indexing or browsing of large sets of ...
Stina S. Bridgeman, Roberto Tamassia