3718 search results - page 563 / 744 » IMPS: System Description |
153
click to vote
B
1998
Springer
15 years 10 months ago
1998
Springer
In B, the expression of dynamic constraints is notoriously missing. In this paper, we make various proposals for introducing them. They all express, in di erent complementary ways,...
194
click to vote
AGENTS
1997
Springer
15 years 10 months ago
1997
Springer
This paper gives a technical description of Creatures, a commercial home-entertainment software package. Creatures provides a simulated environment in which exist a number of synt...
139
click to vote
ICIAP
1997
ACM
15 years 10 months ago
1997
ACM
—A major research subject in image databases is to support efficient and effective access to images based on their visual content. In color image databases, this requires to sup...
163
click to vote
SIGGRAPH
1996
ACM
15 years 10 months ago
1996
ACM
Current linear-time simulation methods for articulated figures are based exclusively on reduced-coordinate formulations. This paper describes a general, non-iterative linear-time ...
159
click to vote
HT
1993
ACM
15 years 10 months ago
1993
ACM
Taking the concept of a link from hypertext and adding to it the rich collection of information formats found in multimedia systems provides an extension to hypertext that is ofte...