Sciweavers

1380 search results - page 207 / 276
» Decomposable Modeling in Natural Language Processing
Sort
View
ICASSP
2011
IEEE
14 years 1 months ago
Improved pos tagging for text-to-speech synthesis
One of the fundamental building blocks of text processing for textto-speech (TTS) synthesis is the assignment of a part-of-speech (POS) tag to each input word. POS tags are heavil...
Ming Sun, Jerome R. Bellegarda
SEBD
1997
134views Database» more  SEBD 1997»
14 years 11 months ago
A Systematic Approach to Multidimensional Databases
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
Luca Cabibbo, Riccardo Torlone
78
Voted
FM
2009
Springer
124views Formal Methods» more  FM 2009»
15 years 4 months ago
Reasoning about Memory Layouts
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
Holger Gast
FDL
2006
IEEE
15 years 3 months ago
Randomized Simulation of Hybrid Systems For Circuit Validation
Abstract. The paper proposes a simulation-based method for validating analog and mixed-signal circuits, using the hybrid systems methodology. This method builds upon RRT (Rapidly-e...
Thao Dang, Tarik Nahhal
FDL
2005
IEEE
15 years 3 months ago
Formal Evaluation of Quality of Service for Data Acquisition
In the field of real-time control applications, validation relies on a precise knowledge of the temporal characteristics of the used data such as delays and loss rates. These data...
Hedia B. Ben, F. Jumel, Jean-Philippe Babau