7121 search results - page 1085 / 1425 » Functions as Session-Typed Processes |
339
click to vote
ICCS
2004
Springer
16 years 1 days ago
2004
Springer
Theoretical modeling of chemical and biological processes is a key to understand nature and to predict experiments. Unfortunately, this is very data and computation extensive. Howe...
164
click to vote
ICMI
2004
Springer
16 years 1 days ago
2004
Springer
Although gesture recognition has been studied extensively, communicative, affective, and biometrical “utility” of natural gesticulation remains relatively unexplored. One of t...
186
click to vote
ICWE
2004
Springer
16 years 1 days ago
2004
Springer
Current Web Engineering methods develop "closed" web applications from conceptual models. This fact makes difficult the integration and the interoperability of different ...
183
click to vote
IDEAL
2004
Springer
16 years 1 days ago
2004
Springer
Proteins are known to perform a biological function by interacting with other proteins or compounds. Since protein–protein interaction is intrinsic to most cellular processes, pr...
184
click to vote
ILP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unk...