11168 search results - page 1902 / 2234 » Abstract State Processes |
123
click to vote
FSEN
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We study termination of programs in concurrent higherorder languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing c...
132
click to vote
ICCS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In-stent restenosis, the maladaptive response of a blood vessel to injury caused by the deployment of a stent, is a multiscale problem involving a large number of process...
116
click to vote
ICWE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Communication technologies, such as e-mail, instant messaging, discussion forums, blogs, and newsgroups connect people together, forming virtual communities. This concept...
128
click to vote
IDA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Binary Factor Analysis (BFA) is a typical problem of Independent Component Analysis (ICA) where the signal sources are binary. Parameter learning and model selection in B...
125
click to vote
IMA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The GeometricXL algorithm is a geometrically invariant version of the XL algorithm that uses polynomials of a much smaller degree than either a standard Groebner basis al...