Search Sciweavers | Sciweavers

10156 search results - page 80 / 2032

» Step by Step to Histories

177

click to vote

WS
2008
ACM

148views Computer Networks» more WS 2008»

OWL 2: The next step for OWL

15 years 6 months ago

Download www.comlab.ox.ac.uk

Since achieving W3C recommendation status in 2004, the Web Ontology Language (OWL) has been successfully applied to many problems in computer science. Practical experience with OW...

Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, B...

claim paper

Read More »

102

click to vote

LMCS
2007

61views more LMCS 2007»

Interactive Small-Step Algorithms II: Abstract State Machines and the Characterization Theorem

15 years 6 months ago

Download research.microsoft.com

Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Ben...

claim paper

Read More »

164

click to vote

AR
2004

107views more AR 2004»

Inevitable collision states - a step towards safer robots?

15 years 6 months ago

Download emotion.inrialpes.fr

-- An inevitable collision state for a robotic system can be defined as a state for which, no matter what the future trajectory followed by the system is, a collision with an obsta...

Thierry Fraichard, Hajime Asama

claim paper

Read More »

118

click to vote

CE
2004

84views more CE 2004»

Designing for interaction: Six steps to designing computer-supported group-based learning

15 years 6 months ago