Sciweavers

7296 search results - page 1134 / 1460
» informs 2010
Sort
View
ICASSP
2010
IEEE
15 years 6 months ago
A signal-specific bound for joint tdoa and FDOA estimation and its Use in combining multiple segments
We consider passive joint estimation of the time-difference of arrival (TDOA) and frequency-difference of arrival (FDOA) of an unknown signal at two sensors. The classical approac...
Arie Yeredor
ICASSP
2010
IEEE
15 years 6 months ago
Spoken language translation from parallel speech audio: Simultaneous interpretation as SLT training data
In recent work, we proposed an alternative to parallel text as translation model (TM) training data: audio recordings of parallel speech (pSp), as it occurs in any communication s...
Matthias Paulik, Alex Waibel
ICCCI
2010
Springer
15 years 6 months ago
Identifying Representative Reviewers in Internet Social Media
Abstract. In a society, we have many forms of relations with other people from home, work or school. These relationships give rise to a social network. People in a social network r...
Sang-Min Choi, Jeong-Won Cha, Yo-Sub Han
ICFEM
2010
Springer
15 years 6 months ago
Dynamic Resource Reallocation between Deployment Components
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Si...
ICFEM
2010
Springer
15 years 6 months ago
Loop Invariant Synthesis in a Combined Domain
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan...
« Prev « First page 1134 / 1460 Last » Next »