31387 search results - page 5973 / 6278 » Abstracting abstract machines |
215
click to vote
ISMIR
2000
Springer
15 years 10 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...
168
Voted
JELIA
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We consider an algorithmic approach for revising inconsistent data and restoring its consistency. This approach detects the\spoiled" part of the data (i.e., the set ...
216
click to vote
KBSE
2000
IEEE
15 years 10 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
196
click to vote
MFCS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We show how duality properties and geometric considerations are used in studies related to virtual path layouts of ATM networks. We concentrate on the one-to-many problem...
146
click to vote
MICCAI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Fixation-based surgery is a new technique for achieving difficult corrections in some orthopedic procedures. The method is premised on using a fixation device, such as a ...