Sciweavers

3273 search results - page 39 / 655
» types 2007
Sort
View
DAGSTUHL
1996
15 years 1 months ago
Pragmatics of Type-Directed Partial Evaluation
Abstract. Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type. Its algorithm coincides with the one for...
Olivier Danvy
FUZZIEEE
2007
IEEE
15 years 6 months ago
On Complete Sublattices of the Algebra of Truth Values of Type-2 Fuzzy Sets
— The algebra of truth values of type-2 fuzzy sets contains isomorphic copies of the algebra of truth values of type1 fuzzy sets and the algebra of truth values of interval-value...
John Harding, Carol L. Walker, Elbert A. Walker
CRIWG
2001
15 years 1 months ago
The Virtual Tea Room - Experiences with a New Type of Social Space
This paper focuses on technical, social and psychological aspects of the use of a video wall for communications between two geographically separated halves of a university departm...
Renee Gedge, David Abramson
INTERACT
2003
15 years 1 months ago
Command Without a Click: Dwell Time Typing by Mouse and Gaze Selections
With dwell time activation, completely hands free interaction may be achieved by tracking the user’s gaze positions. The first study presented compares typing by mouse click with...
John Paulin Hansen, Anders Sewerin Johansen, Dan W...
INTERACT
2003
15 years 1 months ago
Does an Individual's Myers-Briggs Type Indicator Preference Influence Task-Oriented Technology Use?
: Technology innovators face the challenge of finding representative groups of users to participate in design activities. In some cases, software applications will target an audien...
Pamela J. Ludford, Loren G. Terveen