2337 search results - page 360 / 468 » Is the Open Way a Better Way |
150
click to vote
JCIT
2010
15 years 1 months ago
2010
Web Service Choreography Description Language is a main-stream standard for the description of peer-to-peer collaborations for the participants for service composition. To predict...
212
click to vote
LOGCOM
2010
15 years 1 months ago
2010
We describe a method to axiomatize computations in deterministic Turing machines (TMs). When applied to computations in non-deterministic TMs, this method may produce contradictor...
161
click to vote
TIP
2010
15 years 28 days ago
2010
One weakness in the existing interactive image segmentation algorithms is the lack of more intelligent ways to understand the intention of user inputs. In this paper, we advocate t...
159
click to vote
CORR
2011
Springer
15 years 21 days ago
2011
Springer
This paper focuses on reducing memory usage in enumerative model checking, while maintaining the multi-core scalability obtained in earlier work. We present a multi-core tree-based...
149
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper discusses a hybrid approach for the multi-channel source separation, where both a time-frequency (t-f) mask and a multichannel Wiener filter (WF) are utilized. T-f mas...