Sciweavers

9227 search results - page 1485 / 1846
» Developing Use Cases from Organizational Modeling
Sort
View
ICASSP
2008
IEEE
16 years 1 months ago
Exploiting temporal change of pitch in formant estimation
This paper considers the problem of obtaining an accurate spectral representation of speech formant structure when the voicing source exhibits a high fundamental frequency. Our wo...
Tao T. Wang, Thomas F. Quatieri
RSP
2007
IEEE
141views Control Systems» more  RSP 2007»
16 years 1 months ago
Rapid Prototyping of Intrusion Detection Systems
Designing security softwares that evolve as quickly as threats is a truthful challenge. In addition, current software becomes increasingly more complex and difficult to handle ev...
Fabrice Kordon, Jean-Baptiste Voron
VLDB
2005
ACM
81views Database» more  VLDB 2005»
16 years 8 days ago
Flexible Database Generators
Evaluation and applicability of many database techniques, ranging from access methods, histograms, and optimization strategies to data normalization and mining, crucially depend o...
Nicolas Bruno, Surajit Chaudhuri
HYBRID
2004
Springer
16 years 5 days ago
Synthesis for Idle Speed Control of an Automotive Engine
Abstract. The problem of maintaining the crankshaft speed of an automotive engine within a given set interval (idle speed control), is formalized as a constrained control problem u...
Andrea Balluchi, Federico Di Natale, Alberto L. Sa...
FSTTCS
2001
Springer
15 years 11 months ago
Computability and Complexity Results for a Spatial Assertion Language for Data Structures
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
Cristiano Calcagno, Hongseok Yang, Peter W. O'Hear...
« Prev « First page 1485 / 1846 Last » Next »