28888 search results - page 5513 / 5778 » Computability and complexity in analysis |
131
click to vote
IFIPTCS
2000
15 years 7 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
155
click to vote
ISMIR
2000
Springer
15 years 7 months ago
2000
Springer
Active listening is the core of musical activity Listening does not only concern receiving musical information. On the contrary, it is "active" and based on a set of int...
167
click to vote
FPCA
1995
15 years 7 months ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
135
Voted
SIGGRAPH
1995
ACM
15 years 7 months ago
1995
ACM
Physically-based modeling has been used in the past to support a variety of interactive modeling tasks including free-form surface design, mechanism design, constrained drawing, a...
161
click to vote
ISTCS
1992
Springer
15 years 7 months ago
1992
Springer
Concurrent Time-stamp Systems (ctss) allow processes to temporally order concurrent events in an asynchronous shared memorysystem, a powerful tool for concurrency control, serving...