Sciweavers

5158 search results - page 351 / 1032
» Generalization of the Dempster-Shafer Theory
Sort
View
TPHOL
2005
IEEE
16 years 12 days ago
Alpha-Structural Recursion and Induction
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
Andrew M. Pitts
ACMACE
2005
ACM
16 years 12 days ago
Tri-Story as "intuitive cinema" interactive storytelling based on physical action for multi-screen
This paper proposes “intuitive cinema” – a new form of interactive storytelling, which emphasizes user motive and viewpoints, and implements its cinematic expressions based ...
Satoru Tokuhisa, Alice Ding, Masa Inakage
APLAS
2005
ACM
16 years 12 days ago
Heterogeneous Fixed Points with Application to Points-To Analysis
Many situations can be modeled as solutions of systems of simultaneous equations. If the functions of these equations monotonically increase in all bound variables, then the existe...
Aditya Kanade, Uday P. Khedker, Amitabha Sanyal
GROUP
2005
ACM
16 years 12 days ago
Supporting social worlds with the community bar
The Community Bar is groupware supporting informal awareness and casual interaction for small social worlds: a group of people with a common purpose. Its conceptual design is prim...
Gregor McEwan, Saul Greenberg
HT
2005
ACM
16 years 12 days ago
Parsing and interpreting ambiguous structures in spatial hypermedia
When reflecting on information, spatial hypermedia users express their understanding of the information’s structure visually. In order to facilitate this process, spatial hyperm...
Luis Francisco-Revilla, Frank M. Shipman III