2451 search results - page 160 / 491 » The Octagon Abstract Domain |
188
Voted
FCT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
196
Voted
IAT
2006
IEEE
16 years 1 months ago
2006
IEEE
AbstractThis paper focuses on human-machine communication with intelligent agents, it proposes a generic architecture with an algorithm for natural language (NL) command interpreta...
161
Voted
ISESE
2006
IEEE
16 years 1 months ago
2006
IEEE
We present an iterative, reading-based methodology for analyzing defects in source code when change history is available. Our bottom-up approach can be applied to build knowledge ...
189
Voted
ASWEC
2005
IEEE
16 years 20 days ago
2005
IEEE
Robots have diverse capabilities and complex interactions with their environment. Software development for robotic platforms is time consuming due to the complex nature of the tas...
172
Voted
ISCAS
2005
IEEE
16 years 18 days ago
2005
IEEE
Abstract— This paper presents and evaluates a hybrid implementation of a low complexity algorithm for speech enhancement, the Adaptive Gain Equalizer (AGE). The AGE is a subband ...