7988 search results - page 1084 / 1598 » A Useful Undecidable Theory |
174
click to vote
HT
2004
ACM
16 years 19 days ago
2004
ACM
ZigZag is a paradigm of hypermedia that consists of a multidimensional system of principled interconnections. Its basic features and specifications are now well known, but despite...
171
click to vote
IMC
2004
ACM
16 years 19 days ago
2004
ACM
Identifying elephant flows is very important in developing effective and efficient traffic engineering schemes. In addition, obtaining the statistics of these flows is also ver...
193
click to vote
ITICSE
2004
ACM
16 years 19 days ago
2004
ACM
The use of generic and generative methods for the development and application of interactive educational software is a relatively unexplored area in industry and education. Advant...
186
click to vote
MM
2004
ACM
16 years 18 days ago
2004
ACM
This purpose of this paper is to present a journal-based system that provides a way for users to reconstruct their emotions around events in their lives, and to see how recall of ...
203
click to vote
PADS
2004
ACM
16 years 18 days ago
2004
ACM
We investigated the benefit of exploiting the symmetries of graphs for partitioning. We represent the model to be simulated by a weighted graph. Graph symmetries are studied in th...