3865 search results - page 260 / 773 » From Bidirectionality to Alternation |
163
click to vote
ICCS
2007
Springer
16 years 23 days ago
2007
Springer
In this multi-university collaborative research, we will develop a framework for the dynamic data-driven fault diagnosis of wind turbines which aims at making the wind energy a com...
166
click to vote
ICIAR
2007
Springer
16 years 23 days ago
2007
Springer
Ultrasound imaging of thyroid gland provides the ability to acquire valuable information for medical diagnosis. This study presents a novel scheme for the analysis of longitudinal ...
149
click to vote
INDOCRYPT
2007
Springer
16 years 23 days ago
2007
Springer
Saarinen recently proposed a chosen IV statistical attack, called the d-monomial test, and used it to find weaknesses in several proposed stream ciphers. In this paper we generali...
228
click to vote
JSAI
2007
Springer
16 years 22 days ago
2007
Springer
CF-induction is a sound and complete hypothesis finding procedure for full clausal logic which uses the principle of inverse entailment to compute a hypothesis that logically expl...
147
click to vote
PROMAS
2007
Springer
16 years 22 days ago
2007
Springer
This paper discusses the need for an effective and practical BDI-based agentoriented programming language. It proposes an alternative by presenting the syntax and semantics of a ...