860 search results - page 49 / 172 » Podcasting made simple |
IFM
2010
Springer
13 years 9 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...
EMNLP
2009
13 years 8 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...
CORR
2010
Springer
13 years 7 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 ...
ICCV
2007
IEEE
15 years 28 days 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...
ICPR
2006
IEEE
15 years 3 days 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...