Sciweavers

2038 search results - page 65 / 408
» Improvements to the Psi-SSA representation
Sort
View
117
Voted
RE
2002
Springer
15 years 1 months ago
On the Use of Visualization in Formal Requirements Specification
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...
ICPR
2010
IEEE
14 years 11 months ago
Discriminant and Invariant Color Model for Tracking under Abrupt Illumination Changes
The output from a color imaging sensor, or apparent color, can change considerably due to illumination conditions and scene geometry changes. In this work we take into account the...
Jorge Scandaliaris, Alberto Sanfeliu
ICASSP
2011
IEEE
14 years 5 months ago
A novel approach using modulation features for multiphone-based speech recognition
Recent advances in coherent and convex demodulation have proven useful for analyzing and modifying the low-frequency envelope structure of speech. This paper reports the applicati...
Pascal Clark, Gregory Sell, Les E. Atlas
116
Voted
AAAI
2011
14 years 1 months ago
Transportability of Causal and Statistical Relations: A Formal Approach
We address the problem of transferring information learned from experiments to a different environment, in which only passive observations can be collected. We introduce a formal ...
Judea Pearl, Elias Bareinboim
CVPR
2012
IEEE
13 years 4 months ago
Pose pooling kernels for sub-category recognition
The ability to normalize pose based on super-category landmarks can significantly improve models of individual categories when training data are limited. Previous methods have co...
Ning Zhang, Ryan Farrell, Trevor Darrell