Sciweavers

599 search results - page 99 / 120
» Type System for Specializing Polymorphism
Sort
View
GIS
2010
ACM
13 years 2 months ago
Supporting 3D route planning in indoor space based on the LEGO representation
With the prevalence of car navigation systems, indoor navigation systems are increasingly attracting attention in the indoor research area. However, the available models for indoo...
Wenjie Yuan, Markus Schneider
ROBOCUP
1999
Springer
113views Robotics» more  ROBOCUP 1999»
13 years 11 months ago
Middle Sized Soccer Robots: ARVAND
Abstract. Arvand is the name of robots specially designed and constructed by sharif CE team for playing soccer according to RoboCup rules and regulations for the middle size robots...
Mansour Jamzad, Amirali Foroughnassiraei, Ehsan Ch...
JCC
2007
88views more  JCC 2007»
13 years 7 months ago
Recent advances in planar tetracoordinate carbon chemistry
: We summarize our contributions on the quest of new planar tetracoordinate carbon entities (new carbon molecules with exotic chemical structures and strange bonding schemes). We g...
Gabriel Merino, Miguel A. Méndez-Rojas, Alb...
GIS
2005
ACM
14 years 8 months ago
Dimension-refined topological predicates
Topological predicates, as derived from the 9-intersection model, have been widely recognized in GIS, spatial database systems, and many other geo-related disciplines. They are ba...
Mark McKenney, Alejandro Pauly, Reasey Praing, Mar...
CCS
2009
ACM
14 years 2 months ago
Reactive noninterference
Many programs operate reactively, patiently waiting for user input, subsequently running for a while producing output, and eventually returning to a state where they are ready to ...
Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sj&oum...