526 search results - page 47 / 106 » Type Abstractions of Name-Passing Processes |
127
click to vote
AIME
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Cancer spread is a non-deterministic dynamic process. As a consequence, the design of an assistant system for the diagnosis and prognosis of the extent of a cancer should...
133
Voted
IJCAI
1993
15 years 4 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
149
Voted
FDL
2006
IEEE
15 years 9 months ago
2006
IEEE
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...
161
Voted
TASLP
2002
15 years 3 months ago
2002
Abstract--Musical genres are categorical labels created by humans to characterize pieces of music. A musical genre is characterized by the common characteristics shared by its memb...
131
Voted
GI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract: Large biomedical projects often include workflows running across institutional borders. In these workflows, data describing biomedical entities, such as patients, bio-m...