12334 search results - page 217 / 2467 » The Use of C |
165
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...
174
click to vote
ASAP
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper explores an architecture for parallel independent computations of inner products over the direct product ring . The structure is based on the polynomial mapping of the ...
166
click to vote
ACL
2007
15 years 8 months ago
2007
We present a new approach to relation extraction that requires only a handful of training examples. Given a few pairs of named entities known to exhibit or not exhibit a particula...
140
click to vote
FLAIRS
2004
15 years 8 months ago
2004
The purpose of this paper is to propose a method to analyze creative music expressions of a performer in South Indian Classical Music (Carnatic Music). The method performs a quali...
159
click to vote
ISCAPDCS
2003
15 years 8 months ago
2003
In this paper, we present a system partitioning technique in which the input system specification is based on C++ language. The proposed technique processes data and precedence de...