3392 search results - page 556 / 679 » Using Knowledge Representation to Understand Interactive Sys... |
142
click to vote
CHI
2006
ACM
16 years 4 months ago
2006
ACM
No longer confined to our offices, schools, and homes, technology is expanding at an astonishing rate across our everyday public urban landscapes. From the visible (mobile phones,...
139
click to vote
VISUALIZATION
1992
IEEE
15 years 8 months ago
1992
IEEE
algorithms as networks of modules. The data flow architecture is popular because of the flexibility of mixing calculation modules with display modules, and because of its easy grap...
132
click to vote
COMPUTER
2002
15 years 3 months ago
2002
rs use models or abstractions that hide low-level implementation details. Various kinds of representations such as data models, state-transition models, and dataflow models can hel...
140
click to vote
JAR
1998
15 years 3 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
128
Voted
ICTA
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we present SL Teacher, a framework for teaching French sign language using web 2.0 and virtual signer technologies. We present here the main features of the web-bas...