Sciweavers

21324 search results - page 337 / 4265
» Making the case for computing
Sort
View
CHI
1994
ACM
15 years 8 months ago
User learning and performance with marking menus
A marking menu is designed to allow a user to perform a menu selection by either popping-up a radial (or pie) menu, or by making a straight mark in the direction of the desired me...
Gordon Kurtenbach, William Buxton
CASSIS
2004
Springer
15 years 8 months ago
Verification of Safety Properties in the Presence of Transactions
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
Reiner Hähnle, Wojciech Mostowski
175
Voted
BROADNETS
2006
IEEE
15 years 8 months ago
SMART: An Optical Infrastructure for Future Internet
A new scalable optical network infrastructure SMART is proposed based on light-trails and hypernetwork architecture. The underlying physical network of SMART is a reconfigurable WD...
Si-Qing Zheng, Ashwin Gumaste
132
Voted
PDPTA
2007
15 years 6 months ago
A Parallel Algorithm for Discrete Gabor Transforms
- Serial algorithms to evaluate the Gabor transform of a discrete signal are bound by the length of signal for which the transform can be evaluated. The time taken, if machine memo...
Kshitij Sudan, Nipun Saggar, Asok De
GISCIENCE
2010
Springer
190views GIS» more  GISCIENCE 2010»
15 years 5 months ago
Semantic Referencing - Determining Context Weights for Similarity Measurement
Semantic similarity measurement is a key methodology in various domains ranging from cognitive science to geographic information retrieval on the Web. Meaningful notions of similar...
Krzysztof Janowicz, Benjamin Adams, Martin Raubal