24095 search results - page 4471 / 4819 » Researchers and Development - Young Researches |
189
click to vote
ICFCA
2004
Springer
16 years 4 days ago
2004
Springer
Lattice diagrams, known as Hasse diagrams, have played an ever increasing role in lattice theory and fields that use lattices as a tool. Initially regarded with suspicion, they no...
205
click to vote
ICMI
2004
Springer
16 years 4 days ago
2004
Springer
We present a video demonstration of an agent-based test bed application for ongoing research into multi-user, multimodal, computer-assisted meetings. The system tracks a two perso...
186
click to vote
ICMI
2004
Springer
16 years 4 days ago
2004
Springer
One of the implicit assumptions of multi-modal interfaces is that human-computer interaction is significantly facilitated by providing multiple input and output modalities. Surpri...
184
click to vote
ICS
2004
Tsinghua U.
16 years 4 days ago
2004
Tsinghua U.
Given the scale of massively parallel systems, occurrence of faults is no longer an exception but a regular event. Periodic checkpointing is becoming increasingly important in the...
185
click to vote
IFM
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...