680 search results - page 90 / 136 » Complexity of Strict Implication |
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
The digital divide is a complex and dynamic phenomenon. Despite extensive studies on the digital divide and its impact, developing countries, in particular, are still searching fo...
IROS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— This paper provides proof-of-concept that stateof-the-art sampling-based motion planners that are tightly integrated with a physics-based simulator can compute paths th...
LICS
2007
IEEE
14 years 2 months ago
2007
IEEE
We introduce symmetric Datalog, a syntactic restriction of linear Datalog and show that its expressive power is exactly that of restricted symmetric monotone Krom SNP. The deep re...
ROMAN
2007
IEEE
14 years 2 months ago
2007
IEEE
—Teaching a robot new skills may require that the teacher scaffolds the teaching experience appropriately. However, due to inherent assumptions made by a human teacher the scaffo...
ICWE
2007
Springer
14 years 1 months ago
2007
Springer
The trend over the last years clearly shows that modern Web development is evolving from traditional, HTML-based Web sites to fullfledged, complex Web applications, also equipped ...