Sciweavers

1863 search results - page 313 / 373
» Unifying Theories of Objects
Sort
View
CHI
1999
ACM
14 years 2 days ago
Direct Combination
This paper reports on Direct Combination, a new user interaction technique. Direct Combination may be viewed variously as: a systematic extension to Direct Manipulation; a concise...
Simon Holland, Daniel Oppenheim
HICSS
1999
IEEE
119views Biometrics» more  HICSS 1999»
14 years 2 days ago
Websites that Satisfy Users: A Theoretical Framework for Web User Interface Design and Evaluation
With the fast development and increasing use of the World Wide Web as both an information seeking and an electronic commerce tool, web usability studies grow in importance. While ...
Ping Zhang 0002, Ruth V. Small, Gisela M. von Dran...
ICCV
1998
IEEE
14 years 21 hour ago
Hyperbolic "Smoothing" of Shapes
We have been developing a theory of generic 2-D shape based on a reaction-diffusion model from mathematical physics. The description of a shape is derived from the singularities o...
Kaleem Siddiqi, Allen Tannenbaum, Steven W. Zucker
CADE
1998
Springer
14 years 3 hour ago
Admissibility of Fixpoint Induction over Partial Types
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
Karl Crary
EPS
1998
Springer
13 years 12 months ago
Complete Classes of Strategies for the Classical Iterated Prisoner's Dilemma
The Classical Iterated Prisoner's Dilemma (CIPD) is used to study the evolution of cooperation. We show, with a genetic approach, how basic ideas could be used in order to gen...
Bruno Beaufils, Jean-Paul Delahaye, Philippe Mathi...