Sciweavers

2183 search results - page 334 / 437
» On Combining Dissimilarity Representations
Sort
View
KES
2000
Springer
14 years 1 months ago
ActiveCube: a bi-directional user interface using cubes
: ActiveCube is a bi-directional user interface that supports a person's creative work through constructing and interacting with 3-D virtual objects by using actual physical c...
Yoshifumi Kitamura, Yuichi Itoh, Toshihiro Masaki,...
KR
2000
Springer
14 years 1 months ago
Representing and Aggregating Conflicting Beliefs
We consider the two-fold problem of representing collective beliefs and aggregating these beliefs. We propose a novel representation for collective beliefs that uses modular, tran...
Pedrito Maynard-Reid II, Daniel J. Lehmann
PLDI
1995
ACM
14 years 1 months ago
A Type-Based Compiler for Standard ML
Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML. But how should type-directed compilation w...
Zhong Shao, Andrew W. Appel
SMA
1995
ACM
176views Solid Modeling» more  SMA 1995»
14 years 1 months ago
Incremental algorithms for collision detection between solid models
: Fast and accurate collision detection between general solid models is a fundamental problem in solid modeling, robotics, animation and computer-simulated environments. Most of th...
Madhav K. Ponamgi, Dinesh Manocha, Ming C. Lin
ELP
1991
14 years 1 months ago
Natural Semantics and Some of Its Meta-Theory in Elf
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
Spiro Michaylov, Frank Pfenning