6358 search results - page 1094 / 1272 » Computing spectral sequences |
154
click to vote
CALCO
2005
Springer
16 years 1 days ago
2005
Springer
Scalars, Loops, and Free Traced and Strongly Compact Closed Categories Samson Abramsky Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, U.K. htt...
151
click to vote
DIS
2005
Springer
16 years 23 hour ago
2005
Springer
Abstract. Behavioral sequences of the medaka (Oryzias latipes) were continuously investigated through an automatic image recognition system in response to medaka treated with the i...
177
click to vote
EUROCAST
2005
Springer
16 years 19 hour ago
2005
Springer
The incorporation of temporal semantic into the traditional data mining techniques has caused the creation of a new area called Temporal Data Mining. This incorporation is especial...
164
click to vote
EUROPAR
2005
Springer
16 years 19 hour ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...
161
click to vote
FSTTCS
2005
Springer
16 years 17 hour ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...