Sciweavers

28821 search results - page 5541 / 5765
» Distributed and parallel systems
Sort
View
CORR
2011
Springer
210views Education» more  CORR 2011»
14 years 10 months ago
Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics
In this paper we consider the class of truth-functional many-valued logics with a finite set of truth-values. The main result of this paper is the development of a new binary sequ...
Zoran Majkic
CSMR
2011
IEEE
14 years 10 months ago
RTFM (Read the Factual Mails) - Augmenting Program Comprehension with Remail
—The advent of globalization has led to the adoption of distributed software development as a common practice. One of its drawbacks -the absence of impromptu meetingsis tackled w...
Alberto Bacchelli, Michele Lanza, Vitezslav Humpa
ICASSP
2011
IEEE
14 years 10 months ago
Fast estimation of the state of the power grid using synchronized phasor measurements
—Both the communication limitation and the measurement properties based algorithm become the bottleneck of enhancing the traditional power system state estimation speed. The avai...
Tao Yang, Anjan Bose
ICASSP
2011
IEEE
14 years 10 months ago
Robust GNSS signal detection in the presence of navigation data bits
This paper considers the problem of weak signal detection in the presence of navigation data bits for Global Navigation Satellite System (GNSS) receivers. Typically, a set of part...
J. Chandrasekhar, Chandra R. Murthy
ICASSP
2011
IEEE
14 years 10 months ago
Discriminative duration modeling for speech recognition with segmental conditional random fields
This paper describes a new approach to modeling duration for LVCSR using SCARF, a toolkit for speech recognition with segmental conditional random fields. We utilize SCARF’s abi...
Justine T. Kao, Geoffrey Zweig, Patrick Nguyen
« Prev « First page 5541 / 5765 Last » Next »