7988 search results - page 1090 / 1598 » A Useful Undecidable Theory |
223
click to vote
DOCENG
2003
ACM
16 years 12 days ago
2003
ACM
XPath [3, 5] is a powerful and quite successful language able to perform complex node selection in trees through compact specifications. As such, it plays a growing role in many ...
196
click to vote
IMC
2003
ACM
16 years 12 days ago
2003
ACM
Internet topology information is only made available in aggregate form by standard routing protocols. Connectivity information and latency characteristicsmust therefore be inferre...
151
click to vote
ISLPED
2003
ACM
16 years 12 days ago
2003
ACM
A significant fraction of the total power in highly synchronous systems is dissipated over clock networks. Hence, low-power clocking schemes would be promising approaches for futu...
220
click to vote
MM
2003
ACM
16 years 12 days ago
2003
ACM
We present MuSA.RT, Opus 1, a multimodal interactive system for music analysis and visualization using the Spiral Array model. Real-time MIDI input from a live performance is proc...
208
click to vote
MOBICOM
2003
ACM
16 years 12 days ago
2003
ACM
Simulation has become an indispensable tool in the construction and evaluation of mobile systems. By using mobility models that describe constituent movement, one can explore larg...