Sciweavers

7055 search results - page 1141 / 1411
» Some New 4-Designs
Sort
View
EUROPKI
2009
Springer
15 years 5 months ago
ABUSE: PKI for Real-World Email Trust
Current PKI-based email systems (such as X.509 S/MIME and PGP/ MIME) potentially enable a recipient to determine a name and organizational affiliation of the sender. This informati...
Chris Masone, Sean W. Smith
EUSFLAT
2009
184views Fuzzy Logic» more  EUSFLAT 2009»
15 years 5 months ago
Recurrent Neural Kalman Filter Identification and Indirect Adaptive Control of a Continuous Stirred Tank Bioprocess
The aim of this paper is to propose a new Kalman Filter Recurrent Neural Network (KFRNN) topology and a recursive Levenberg-Marquardt (L-M) algorithm of its learning capable to est...
Ieroham S. Baruch, Carlos Román Mariaca Gas...
FM
2009
Springer
154views Formal Methods» more  FM 2009»
15 years 5 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
GRAPHICSINTERFACE
2009
15 years 5 months ago
Sketch-based path design
We present Drive, a system for the conceptual layout of 3D path networks. Our sketch-based interface allows users to efficiently author path layouts with minimal instruction. Our ...
James McCrae, Karan Singh
GVD
2009
162views Database» more  GVD 2009»
15 years 5 months ago
Archiving and Maintaining Curated Databases
Curated databases represent a substantial amount of effort by a dedicated group of people to produce a definitive description of some subject area. The value of curated databases ...
Heiko Müller
« Prev « First page 1141 / 1411 Last » Next »