Sciweavers

8699 search results - page 60 / 1740
» Elements of the Theory of Computation
Sort
View
HOA
1993
14 years 27 days ago
Theory Interpretation in Simple Type Theory
Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in mathematics and computer science as well as in logic itself...
William M. Farmer
SC
2000
ACM
14 years 1 months ago
Performance of Hybrid Message-Passing and Shared-Memory Parallelism for Discrete Element Modeling
The current trend in HPC hardware is towards clusters of shared-memory (SMP) compute nodes. For applications developers the major question is how best to program these SMP cluster...
D. S. Henty
JECR
2002
125views more  JECR 2002»
13 years 8 months ago
Why Users Choose Particular Web Sites Over Others: Introducing a "Means-End" Approach to Human-Computer Interaction
means-end theory, widely used in market research, identifies three levels of abstraction
Deepak Prem Subramony
CVPR
2006
IEEE
14 years 10 months ago
Element-Free Elastic Models for Volume Fitting and Capture
We present a new method of fitting an element-free volumetric model to a sequence of deforming surfaces of a moving object. Given a sequence of visual hulls, we iteratively fit an...
Jaeil Choi, Andrzej Szymczak, Greg Turk, Irfan A. ...
CHI
2004
ACM
14 years 9 months ago
Variation in element and action: supporting simultaneous development of alternative solutions
The complexity of many problems necessitates creating and exploring multiple, alternative solutions. However, current user interfaces do not cleanly support creating alternatives ...
Michael A. Terry, Elizabeth D. Mynatt, Kumiyo Naka...