1965 search results - page 224 / 393 » On the analysis of interacting pushdown systems |
WABI
2009
Springer
14 years 4 months ago
2009
Springer
Comparative analysis of biomolecular networks constructed using measurements from different conditions, tissues, and organisms offer a powerful approach to understanding the stru...
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
The Virtual Math Teams (VMT) project investigates the innovative use of online collaborative environments to support effective mathematical problem-solving by small groups of lear...
MIR
2005
ACM
14 years 3 months ago
2005
ACM
Multimedia meeting collections, composed of unedited audio and video streams, handwritten notes, slides, and electronic documents that jointly constitute a raw record of complex h...
WETICE
2000
IEEE
14 years 2 months ago
2000
IEEE
The CollabLogger is a visual tool that supports usability analyses of human-computer interaction in a team environment. Participants in our computer-mediated activity were engaged...
VLDB
1994
ACM
14 years 2 months ago
1994
ACM
In this paper we address the problem of devising a set of indexes for a nested object hierarchy in an object-oriented database to improve the overall system performance. It is not...