1713 search results - page 104 / 343 » Analysis of Procedure Splitability |
ACCV
1995
Springer
14 years 2 months ago
1995
Springer
—Many recognition procedures rely on the consistency of a subset of data features with a hypothesis as the sufficient evidence to the presence of the corresponding object. We ana...
ECAI
2006
Springer
14 years 18 days ago
2006
Springer
Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different applicati...
FMCAD
2008
Springer
14 years 5 days ago
2008
Springer
A message flow is a sequence of messages sent among processors during the execution of a protocol, usually illustrated with something like a message sequence chart. Protocol design...
NIPS
2007
14 years 1 days ago
2007
We present a theoretical study on the discriminative clustering framework, recently proposed for simultaneous subspace selection via linear discriminant analysis (LDA) and cluster...
CSREASAM
2003
14 years 17 hour ago
2003
Automated rule induction procedures like machine learning and statistical techniques result in rules that lack generalization and maintainability. Developing rules manually throug...