1284 search results - page 126 / 257 » Abstract Processes in Orchestration Languages |
145
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...
184
click to vote
ALT
2006
Springer
16 years 3 months ago
2006
Springer
Abstract. Recently, some non-regular subclasses of context-free grammars have been found to be efficiently learnable from positive data. In order to use these efficient algorithms ...
154
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
We present a new approach to information flow control (IFC), ploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existi...
181
click to vote
CICLING
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We describe a semantic clustering method designed to address shortcomings in the common bag-of-words document representation for functional semantic classification tasks....
174
click to vote
ICCPOL
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. In a spoken dialogue system, the speech recognition performance accounts for the largest part of the overall system performance. Yet spontaneous speech recognition has an...