1604 search results - page 30 / 321 » Development Separation in Lambda-Calculus |
126
Voted
TASLP
2010
14 years 7 months ago
2010
Abstract--Independent vector analysis (IVA) is a method for separating convolutedly mixed signals that significantly reduces the occurrence of the well-known permutation problem in...
127
Voted
CSCW
2004
ACM
15 years 6 months ago
2004
ACM
Single Display Groupware (SDG) lets multiple co-located people, each with their own input device, interact simultaneously over a single communal display. While SDG is beneficial, ...
88
Voted
JOT
2002
15 years 24 days ago
2002
Java supports distributed programming using threads and Remote Method Invocation (JRMI). However, a Java thread does not match well with the object concept, and JRMI cannot easily...
88
Voted
CPAIOR
2008
Springer
15 years 2 months ago
2008
Springer
We present a propagator that achieves MDD consistency for a separable equality over an MDD (multivalued decision diagram) store in pseudo-polynomial time. We integrate the propagat...
115
Voted
BMCBI
2007
15 years 1 months ago
2007
Background: Mass spectrometry protein profiling is a promising tool for biomarker discovery in clinical proteomics. However, the development of a reliable approach for the separat...