Sciweavers

5334 search results - page 459 / 1067
» Communicating quantum processes
Sort
View
NGC
2006
Springer
135views Communications» more  NGC 2006»
15 years 6 months ago
Seeing Things: Inventive Reasoning with Geometric Analogies and Topographic Maps
This paper examines two seemingly unrelated qualitative spatial reasoning domains; geometric proportional analogies and topographic (landcover) maps. We present a Structure Matchin...
Diarmuid P. O'Donoghue, Amy J. Bohan, Mark T. Kean...
TIT
2008
83views more  TIT 2008»
15 years 6 months ago
On the Large Deviations of Resequencing Queue Size: 2-M/M/1 Case
Abstract--In data communication networks, packets that arrive at the receiving host may be disordered for reasons such as retransmission of dropped packets or multi-path routing. R...
Ye Xia, David N. C. Tse
TKDE
2008
178views more  TKDE 2008»
15 years 6 months ago
Efficient Similarity Search over Future Stream Time Series
With the advance of hardware and communication technologies, stream time series is gaining ever-increasing attention due to its importance in many applications such as financial da...
Xiang Lian, Lei Chen 0002
TSE
2008
97views more  TSE 2008»
15 years 6 months ago
Timed Automata Patterns
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 00...
CSCW
2002
ACM
15 years 6 months ago
The use of visual information in shared visual spaces: informing the development of virtual co-presence
A shared visual workspace is one where multiple people can see the same objects at roughly the same time. We present findings from an experiment investigating the effects of share...
Robert E. Kraut, Darren Gergle, Susan R. Fussell