4767 search results - page 350 / 954 » Structures for Abstract Rewriting |
169
click to vote
ICCS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λcalculus by parallel operations on a parallel...
168
click to vote
IVA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In interactive plan-based narrative environments, user's actions must be monitored to ensure that conditions necessary for the execution of narrative plans are not c...
123
click to vote
KES
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Structural health management (SHM) of safety-critical structures requires multiple capabilities: sensing, assessment, diagnostics, prognostics, repair, etc. This paper pr...
192
click to vote
OTM
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The interoperability of heterogeneous data sources is an important issue in many applications such as mediation systems or web-based systems. In these systems, each data ...
172
click to vote
PAKDD
2005
ACM
16 years 5 days ago
2005
ACM
Abstract. It is estimated that 20% of genes in the human genome encode for integral membrane proteins (IMPs) and some estimates are much higher. IMPs control a broad range of event...