Sciweavers

2226 search results - page 404 / 446
» Pdk: The System and Its Language
Sort
View
HLPPP
1991
15 years 3 months ago
Reasoning About Synchronic Groups
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
Gruia-Catalin Roman, H. Conrad Cunningham
OOPSLA
1987
Springer
15 years 3 months ago
Metaclasses are First Class: the ObjVlisp Model
This paper shows how an attempt at a uniform and reflective definition resulted in an open-ended system supporting ObjVlisp, which we use to simulate object-oriented language exte...
Pierre Cointe
AAAI
2008
15 years 2 months ago
An Integrated Reasoning Approach to Moral Decision-Making
We present a computational model, MoralDM, which integrates several AI techniques in order to model recent psychological findings on moral decision-making. Current theories of mor...
Morteza Dehghani, Emmett Tomai, Kenneth D. Forbus,...
ACMACE
2007
ACM
15 years 1 months ago
Sharing visual information in virtual environments using projective texture mapping
We present a method for sharing visual information in 3D virtual environments, using a projective texture mapping based method. Avatars can share information with other avatars by...
Yannick Francken, Johan Huysmans, Philippe Bekaert
COMPGEOM
2008
ACM
15 years 1 months ago
Routing a maximum number of disks through a scene of moving obstacles
This video illustrates an algorithm for computing a maximum number of disjoint paths for unit disks moving among a set of dynamic obstacles in the plane. The problem is motivated ...
Joondong Kim, Joseph S. B. Mitchell, Valentin Poli...