Sciweavers

4698 search results - page 251 / 940
» Making Functionality More General
Sort
View
ICCV
2005
IEEE
16 years 6 months ago
The Pyramid Match Kernel: Discriminative Classification with Sets of Image Features
Discriminative learning is challenging when examples are sets of features, and the sets vary in cardinality and lack any sort of meaningful ordering. Kernel-based classification m...
Kristen Grauman, Trevor Darrell
PIMRC
2008
IEEE
15 years 10 months ago
Information theory vs. queueing theory for resource allocation in multiple access channels
— We consider the problem of rate allocation in a fading Gaussian multiple-access channel with fixed transmission powers. The goal is to maximize a general concave utility funct...
Ali ParandehGheibi, Muriel Médard, Asuman E...
KBSE
2005
IEEE
15 years 9 months ago
A threat-driven approach to modeling and verifying secure software
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
Dianxiang Xu, Kendall E. Nygard
DATE
2004
IEEE
130views Hardware» more  DATE 2004»
15 years 7 months ago
Utilizing Formal Assertions for System Design of Network Processors
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
Xi Chen, Yan Luo, Harry Hsieh, Laxmi N. Bhuyan, Fe...
BMVC
2010
15 years 2 months ago
Diffusion-based Regularisation Strategies for Variational Level Set Segmentation
Variational level set methods are formulated as energy minimisation problems, which are often solved by gradient-based optimisation methods, such as gradient descent. Unfortunatel...
Maximilian Baust, Darko Zikic, Nassir Navab