2385 search results - page 366 / 477 » Knowledge Refinement for a Design System |
129
Voted
LICS
1999
IEEE
15 years 6 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
115
Voted
GRAPHICSINTERFACE
2003
15 years 3 months ago
2003
Many groupware systems now allow people to converse and casually interact through their computers in quite rich ways—through text, images, video, artifact sharing and so on. If ...
JODI
2002
15 years 2 months ago
2002
This paper discusses the problem of horizontal (nonhierarchical) navigation in modern educational courseware. We will look at why horizontal links disappear, how to support horizo...
148
Voted
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
Enterprises provide professionally authored content about their products/services in different languages for use in web sites and customer care. For customer care, personalization...
118
click to vote
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract— We present an integrated vision and robotic system that plays, and learns to play, simple physically-instantiated board games that are variants of TIC TAC TOE and HEXAP...