7773 search results - page 1354 / 1555 » On generalized Frame-Stewart numbers |
191
click to vote
TOPLAS
2008
15 years 6 months ago
2008
WS-SecurityPolicy is a declarative language for configuring web services security mechanisms. We describe a formal semantics for WS-SecurityPolicy and propose a more abstract lang...
159
click to vote
JIRS
2007
15 years 6 months ago
2007
— Today, there are many opportunities to create vision-based intelligent systems that are human-centric. This is a very rich area because humans are very complex, and the number ...
159
click to vote
TSE
2008
15 years 6 months ago
2008
This paper presents CMOD, a novel tool that provides a sound module system for C. CMOD works by enforcing a set of four rules that are based on principles of modular reasoning and...
157
Voted
JMLR
2007
15 years 6 months ago
2007
Gaussian kernels with flexible variances provide a rich family of Mercer kernels for learning algorithms. We show that the union of the unit balls of reproducing kernel Hilbert s...
145
click to vote
TSP
2008
15 years 6 months ago
2008
One of the key issues in decentralized beamforming is the need to phasealign the carriers of all the sensors in the network. Recent work in this area has shown the viability of ce...