3255 search results - page 585 / 651 » Combination of Abstractions in the ASTR |
CLUSTER
2008
IEEE
13 years 10 months ago
2008
IEEE
Abstract--Open-MX is a new message passing layer implemented on top of the generic Ethernet stack of the Linux kernel. Open-MX works on all Ethernet hardware, but it suffers from e...
RECOMB
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. One of the critical stages in drug development is the identification of potential side effects for promising drug leads. Large scale clinical experiments aimed at discove...
COST
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Human machine interaction is one of the emerging fields for the coming years. Interacting with others in our daily life is a face to face interaction. Faces are the natur...
CP
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Cost-based filtering is a novel approach that combines techniques from Operations Research and Constraint Programming to filter from decision variable domains values that...
CSL
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...