860 search results - page 49 / 172 » Podcasting made simple |
182
Voted
IFM
2010
Springer
14 years 10 months ago
2010
Springer
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
90
Voted
EMNLP
2009
14 years 10 months ago
2009
In the early days of email, widely-used conventions for indicating quoted reply content and email signatures made it easy to segment email messages into their functional parts. To...
109
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
: The aim of this paper is to compute of the generalized aspects, i.e. the maximal singularity-free domains in the Cartesian product of the joint space and workspace, for a planar ...
86
Voted
ICCV
2007
IEEE
16 years 2 months ago
2007
IEEE
It's often important to analyze shapes as made up of parts. But there are two ways to think of how parts fit together. We can characterize the remainder of a shape after a pa...
112
Voted
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
Kernel Fisher Discriminant Analysis (KFDA) has achieved great success in pattern recognition recently. However, the training process of KFDA is too time consuming (even intractabl...