Sciweavers

10406 search results - page 1856 / 2082
» Using RDF to Model the Structure and Process of Systems
Sort
View
145
Voted
ICECCS
2007
IEEE
120views Hardware» more  ICECCS 2007»
15 years 8 months ago
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
Leo Freitas, Konstantinos Mokos, Jim Woodcock
140
Voted
IR
2006
15 years 4 months ago
Table extraction for answer retrieval
The ability to find tables and extract information from them is a necessary component of many information retrieval tasks. Documents often contain tables in order to communicate d...
Xing Wei, W. Bruce Croft, Andrew McCallum
139
Voted
ICASSP
2010
IEEE
15 years 3 months ago
Blind rhythmic source separation: Nonnegativity and repeatability
An unsupervised method is proposed aiming at extracting rhythmic sources from commercial polyphonic music whose number of channels is limited to one. Commercial music signals are ...
Minje Kim, Jiho Yoo, Kyeongok Kang, Seungjin Choi
134
Voted
ICIP
2010
IEEE
15 years 2 months ago
A scalable multi-view audiovisual entertainment framework with content-aware distribution
Delivery of 3D immersive entertainment to the home remains a highly challenging problem due to the large amount of data involved, and the need to support a wide variety of differe...
Erhan Ekmekcioglu, Banu Gunel, Maheshi B. Dissanay...
162
Voted
ICPP
2009
IEEE
15 years 2 months ago
Cache-Efficient, Intranode, Large-Message MPI Communication with MPICH2-Nemesis
The emergence of multicore processors raises the need to efficiently transfer large amounts of data between local processes. MPICH2 is a highly portable MPI implementation whose l...
Darius Buntinas, Brice Goglin, David Goodell, Guil...
« Prev « First page 1856 / 2082 Last » Next »