Sciweavers

6279 search results - page 1104 / 1256
» Objects as session-typed processes
Sort
View
INTERACT
2003
15 years 8 months ago
Improving Usability of E-Commerce Sites by Tracking Eye Movements
: Usability evaluation techniques such as user-observations, cognitive walkthroughs, or heuristic evaluations can be applied to evaluate the usability of multimedia interfaces of c...
Ekaterini Tzanidou
IWFM
2003
172views Formal Methods» more  IWFM 2003»
15 years 8 months ago
On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
Anthony Karel Seda, Máire Lane
WSC
2004
15 years 8 months ago
Data and Metadata Requirements for Composable Mission Space Environments
Composability is the capability to select and assemble reusable simulation components in various combinations into simulation systems to meet user requirements. The Defense Modeli...
Katherine L. Morse
WSCG
2004
282views more  WSCG 2004»
15 years 8 months ago
High-Quality Silhouette Illustration for Texture-Based Volume Rendering
We present an accurate, interactive silhouette extraction mechanism for texture-based volume rendering. Compared to previous approaches, our system guarantees silhouettes of a use...
Zoltán Nagy, Reinhard Klein
NIPS
2003
15 years 8 months ago
Distributed Optimization in Adaptive Networks
We develop a protocol for optimizing dynamic behavior of a network of simple electronic components, such as a sensor network, an ad hoc network of mobile devices, or a network of ...
Ciamac Cyrus Moallemi, Benjamin Van Roy
« Prev « First page 1104 / 1256 Last » Next »