Sciweavers

6014 search results - page 780 / 1203
» Parametric Analysis of Computer Systems
Sort
View
DL
1999
Springer
121views Digital Library» more  DL 1999»
15 years 11 months ago
Does Zooming Improve Image Browsing?
We describe an image retrieval system we built based on a Zoomable User Interface (ZUI). We also discuss the design, results and analysis of a controlled experiment we performed o...
Tammara T. A. Combs, Benjamin B. Bederson
JCP
2008
145views more  JCP 2008»
15 years 6 months ago
Impact of Shift Operations on (-1+j)-Base Complex Binary Numbers
Complex numbers play a very important role in various applications of electrical and computer engineering. These days, arithmetic operations dealing with these numbers rely on a &q...
Tariq Jamil
JPDC
2008
122views more  JPDC 2008»
15 years 6 months ago
Stochastic robustness metric and its use for static resource allocations
This research investigates the problem of robust static resource allocation for distributed computing systems operating under imposed Quality of Service (QoS) constraints. Often, ...
Vladimir Shestak, Jay Smith, Anthony A. Maciejewsk...
CVIU
2004
99views more  CVIU 2004»
15 years 6 months ago
Synchronization of oscillations for machine perception of gaits
Substantial evidence supports a relationship between gait perception and gait synthesis. Furthermore, passive mechanical systems demonstrate that the jointed leg systems of humans...
Jeffrey E. Boyd
FASE
2011
Springer
14 years 10 months ago
Automated Learning of Probabilistic Assumptions for Compositional Reasoning
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
Lu Feng, Marta Z. Kwiatkowska, David Parker