Sciweavers

4867 search results - page 581 / 974
» Fluid Models in Performance Analysis
Sort
View
IJCV
2006
107views more  IJCV 2006»
15 years 6 months ago
Behavioral Priors for Detection and Tracking of Pedestrians in Video Sequences
In this paper we address the problem of detection and tracking of pedestrians in complex scenarios. The inclusion of prior knowledge is more and more crucial in scene analysis to g...
Gianluca Antonini, Santiago Venegas-Martinez, Mich...
JAIR
2006
108views more  JAIR 2006»
15 years 6 months ago
Preference-based Search using Example-Critiquing with Suggestions
We consider interactive tools that help users search for their most preferred item in a large collection of options. In particular, we examine example-critiquing, a technique for ...
Paolo Viappiani, Boi Faltings, Pearl Pu
TASE
2008
IEEE
15 years 6 months ago
Perspectives in Probabilistic Verification
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
Joost-Pieter Katoen
EMNLP
2009
15 years 4 months ago
On the Role of Lexical Features in Sequence Labeling
We use the technique of SVM anchoring to demonstrate that lexical features extracted from a training corpus are not necessary to obtain state of the art results on tasks such as N...
Yoav Goldberg, Michael Elhadad
ICCAD
2005
IEEE
176views Hardware» more  ICCAD 2005»
16 years 3 months ago
Statistical gate sizing for timing yield optimization
— Variability in the chip design process has been relatively increasing with technology scaling to smaller dimensions. Using worst case analysis for circuit optimization severely...
Debjit Sinha, Narendra V. Shenoy, Hai Zhou