4233 search results - page 516 / 847 » Three Paths to Effectiveness |
202
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
The paper described a novel method for detecting and identifying faults that occur in the actuator of control systems with input and output signals related to the component itself....
184
click to vote
ICARIS
2010
Springer
15 years 4 months ago
2010
Springer
In this research work a large set of the classical numerical functions were taken into account in order to understand both the search capability and the ability to escape from a lo...
186
click to vote
IPL
2010
15 years 4 months ago
2010
cally Refining Abstract Interpretations Bhargav S. Gulavani1 , Supratik Chakraborty1 , Aditya V. Nori2 , and Sriram K. Rajamani2 1 IIT Bombay 2 Microsoft Research India Abstract. A...
168
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
We present an investigation of the relevance of simple conversational features as indicators of topic shifts in small-group meetings. Three proposals for representation of dialogu...
202
click to vote
JSAT
2010
15 years 1 months ago
2010
In this paper we analyze three well-known preprocessors for Max-SAT. The first preprocessor is based on the so-called variable saturation. The second preprocessor is based on the ...