Sciweavers

3812 search results - page 366 / 763
» Combinations of TRAP Based Systems
Sort
View
156
Voted
DEXAW
2004
IEEE
109views Database» more  DEXAW 2004»
15 years 10 months ago
A Deliberative Model for Self-Adaptation Middleware Using Architectural Dependency
: A crucial prerequisite to externalized adaptation is an understanding of how components are interconnected, or more particularly how and why they depend on one another. Such depe...
N. Badr, A. Taleb-Bendiab, Martin Randles, D. Reil...
CRYPTO
2006
Springer
108views Cryptology» more  CRYPTO 2006»
15 years 10 months ago
Inverting HFE Is Quasipolynomial
In the last ten years, multivariate cryptography has emerged as a possible alternative to public key cryptosystems based on hard computational problems from number theory. Notably,...
Louis Granboulan, Antoine Joux, Jacques Stern
FM
2006
Springer
148views Formal Methods» more  FM 2006»
15 years 10 months ago
Automatic Translation from Circus to Java
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
Angela Freitas, Ana Cavalcanti
ACL
2008
15 years 8 months ago
Task-oriented Evaluation of Syntactic Parsers and Their Representations
This paper presents a comparative evaluation of several state-of-the-art English parsers based on different frameworks. Our approach is to measure the impact of each parser when i...
Yusuke Miyao, Rune Sætre, Kenji Sagae, Takuy...
MVA
2007
203views Computer Vision» more  MVA 2007»
15 years 8 months ago
Automatic Detection of Anatomical Structures in Digital Fundus Retinal Images
This paper proposes a novel system for the automatic detection of important anatomical structures such as the Optic Disc (OD), Blood Vessels and Macula in digital fundus retinal i...
Anantha Vidya Sagar, S. Balasubramanian, V. Chandr...