2632 search results - page 426 / 527 » Alternating Timed Automata |
129
click to vote
TOCL
2008
15 years 1 months ago
2008
State Machines Capture Parallel Algorithms: Correction and Extension ANDREAS BLASS University of Michigan and YURI GUREVICH Microsoft Research We consider parallel algorithms worki...
JCSS
2007
15 years 1 months ago
2007
The financial services industry today produces and consumes huge amounts of data and the processes involved in analysing these data are equally huge especially in terms of their c...
115
click to vote
TSP
2008
15 years 1 months ago
2008
Abstract--As a high-rate alternative of impulse radio (IR) ultrawideband (UWB) communications, analog and digital multicarrier UWB radios with coherent detection have been introduc...
128
click to vote
VR
2008
IEEE
15 years 1 months ago
2008
IEEE
We present a new technique for managing visual clutter caused by overlapping labels in complex information displays. This technique, "label layering", utilizes stereosco...
131
click to vote
JUCS
2007
15 years 1 months ago
2007
Abstract: The technology in the field of digital media generates huge amounts of textual information every day, so mechanisms to retrieve relevant information are needed. Under th...