1552 search results - page 35 / 311 » From Automatic Structures to Borel Structures |
ICCD
2003
IEEE
14 years 7 months ago
2003
IEEE
Functional symmetries provide significant benefits for multiple tasks in synthesis and verification. Many applications require the manual specification of symmetries using spe...
EUROPAR
2005
Springer
14 years 3 months ago
2005
Springer
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
ISBI
2004
IEEE
14 years 11 months ago
2004
IEEE
This paper describes a classification system discriminating male and female brains from morphometric features of cortical sulci. This system is tested on a database of 143 brains,...
LREC
2008
13 years 11 months ago
2008
In this paper we present an algorithm for automatic extraction of textual elements, namely titles and full text, associated with news stories in news web pages. We propose a super...
ICPP
1991
IEEE
14 years 1 months ago
1991
IEEE
Data decomposition is probably the most successful method for generating parallel programs. In this paper a general framework is described for the automatic generation of parallel...