Sciweavers

1984 search results - page 354 / 397
» Variable mesh optimization for continuous optimization probl...
Sort
View
AAAI
2008
15 years 4 months ago
Lifted First-Order Belief Propagation
Unifying first-order logic and probability is a long-standing goal of AI, and in recent years many representations combining aspects of the two have been proposed. However, infere...
Parag Singla, Pedro Domingos
AAAI
2008
15 years 4 months ago
Learning to Analyze Binary Computer Code
We present a novel application of structured classification: identifying function entry points (FEPs, the starting byte of each function) in program binaries. Such identification ...
Nathan E. Rosenblum, Xiaojin Zhu, Barton P. Miller...
CIKM
2008
Springer
15 years 3 months ago
A generative retrieval model for structured documents
Structured documents contain elements defined by the author(s) and annotations assigned by other people or processes. Structured documents pose challenges for probabilistic retrie...
Le Zhao, Jamie Callan
ICONIP
2008
15 years 3 months ago
Frost Prediction Characteristics and Classification Using Computational Neural Networks
The effect of frost on the successful growth and quality of crops is well understood by growers as leading potentially to total harvest failure. Studying the frost phenomenon, espe...
Philip Sallis, Mary Carmen Jarur Muñoz, Mar...
IPCO
2008
118views Optimization» more  IPCO 2008»
15 years 3 months ago
Constraint Orbital Branching
Orbital branching is a method for branching on variables in integer programming that reduces the likelihood of evaluating redundant, isomorphic nodes in the branch-and-bound proce...
James Ostrowski, Jeff Linderoth, Fabrizio Rossi, S...