Sciweavers

10289 search results - page 1724 / 2058
» Standard bases in K
Sort
View
IANDC
2007
151views more  IANDC 2007»
15 years 6 months ago
Transducer-based analysis of cryptographic protocols
Cryptographic protocols can be divided into (1) protocols where the protocol steps are simple from a computational point of view and can thus be modeled by simple means, for insta...
Ralf Küsters, Thomas Wilke
IEE
2007
120views more  IEE 2007»
15 years 6 months ago
Classification of model transformation techniques used in UML-based Web engineering
Software development techniques are continuously evolving with the goal of solving the main problems that still affect the building and maintenance of software systems: time, cost...
N. Koch
PAMI
2006
206views more  PAMI 2006»
15 years 6 months ago
MILES: Multiple-Instance Learning via Embedded Instance Selection
Multiple-instance problems arise from the situations where training class labels are attached to sets of samples (named bags), instead of individual samples within each bag (called...
Yixin Chen, Jinbo Bi, James Ze Wang
SCN
2008
Springer
15 years 6 months ago
Simplified Submission of Inputs to Protocols
Consider an electronic election scheme implemented using a mix-net; a large number of voters submit their votes and then a smaller number of servers compute the result. The mix-net...
Douglas Wikström
SIAMSC
2008
167views more  SIAMSC 2008»
15 years 6 months ago
New Finite Elements for Large-Scale Simulation of Optical Waves
We present a new method to simulate optical waves in large geometries. This method is based on newly developed finite elements, so-called Trigonometric Finite Wave Elements (TFWEs)...
Britta Heubeck, Christoph Pflaum, Gunther Steinle
« Prev « First page 1724 / 2058 Last » Next »