Sciweavers

2826 search results - page 66 / 566
» A resource-based analysis of IT sourcing
Sort
View
ICMCS
2005
IEEE
171views Multimedia» more  ICMCS 2005»
14 years 2 months ago
Automatic Speech Activity Detection, Source Localization, and Speech Recognition on the Chil Seminar Corpus
To realize the long-term goal of ubiquitous computing, technological advances in multi-channel acoustic analysis are needed in order to solve several basic problems, including spe...
Dusan Macho, Jaume Padrell, Alberto Abad, Climent ...
HVC
2005
Springer
97views Hardware» more  HVC 2005»
14 years 2 months ago
An Extensible Open-Source Compiler Infrastructure for Testing
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...
Daniel J. Quinlan, Shmuel Ur, Richard W. Vuduc
SIGIR
2004
ACM
14 years 2 months ago
Multiple sources of evidence for XML retrieval
Document-centric XML collections contain text-rich documents, marked up with XML tags. The tags add lightweight semantics to the text. Querying such collections calls for a hybrid...
Börkur Sigurbjörnsson, Jaap Kamps, Maart...
ICDCS
2010
IEEE
13 years 10 months ago
CacheCast: Eliminating Redundant Link Traffic for Single Source Multiple Destination Transfers
Due to the lack of multicast services in the Internet, applications based on single source multiple destinations transfers such as video conferencing, IP radio, IPTV must use unica...
Piotr Srebrny, Thomas Plagemann, Vera Goebel, Andr...
SIMUTOOLS
2008
13 years 10 months ago
Transforming sources to petri nets: a way to analyze execution of parallel programs
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
Jean-Baptiste Voron, Fabrice Kordon