Sciweavers

1449 search results - page 196 / 290
» Finiteness results for sigmoidal
Sort
View
ICS
2010
Tsinghua U.
16 years 3 months ago
Game Theory with Costly Computation: Formulation and Application to Protocol Security
: We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic resu...
Joseph Y. Halpern, Rafael Pass
MICCAI
2009
Springer
16 years 3 months ago
Mesh Generation from 3D Multi-material Images
Generating realistic geometric models from 3D segmented images is an important task in many biomedical applications. Segmented 3D images impose particular challenges for meshing a...
Dobrina Boltcheva, Mariette Yvinec, Jean-Daniel Bo...
GLOBECOM
2007
IEEE
16 years 22 days ago
Reduced Complexity Sequence Detection of Continuous Phase Modulation Represented as the Linear Superposition of Amplitude Modula
The Laurent Decomposition expresses any binary single-h CPM waveform as the summation of a finite number of pulse amplitude modulated components, and this result has been useful i...
Marilynn P. Wylie-Green, Erik Perrins
ICDCS
2007
IEEE
16 years 22 days ago
Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
Guoqiang Shu, David Lee
ICIP
2007
IEEE
16 years 22 days ago
Local Feature Extraction for Image Super-Resolution
The problem of image super-resolution from a set of low resolution multiview images has recently received much attention and can be decomposed, at least conceptually, into two con...
Loïc Baboulaz, Pier Luigi Dragotti