Sciweavers

2182 search results - page 335 / 437
» A Robust Algorithm for Solving Nonlinear Programming Problem...
Sort
View
AUSAI
2004
Springer
15 years 7 months ago
Embedding Memoization to the Semantic Tree Search for Deciding QBFs
Abstract. Quantified Boolean formulas (QBFs) play an important role in artificial intelligence subjects, specially in planning, knowledge representation and reasoning [20]. In th...
Mohammad GhasemZadeh, Volker Klotz, Christoph Mein...
CORR
2008
Springer
116views Education» more  CORR 2008»
15 years 1 months ago
Polynomial Filtering for Fast Convergence in Distributed Consensus
Abstract--In the past few years, the problem of distributed consensus has received a lot of attention, particularly in the framework of ad hoc sensor networks. Most methods propose...
Effrosini Kokiopoulou, Pascal Frossard
CC
2004
Springer
160views System Software» more  CC 2004»
15 years 7 months ago
Elkhound: A Fast, Practical GLR Parser Generator
The Generalized LR (GLR) parsing algorithm is attractive for use in parsing programming languages because it is asymptotically efficient for typical grammars, and can parse with an...
Scott McPeak, George C. Necula
ICPR
2004
IEEE
16 years 3 months ago
Registration of an Uncalibrated Image Pair to a 3D Surface Model
The following data fusion problem is considered: Given a 3D geometric model of an object and two uncalibrated images of the same object, and assuming that the object surface is te...
Dmitry Chetverikov, Zsolt Jankó
WWW
2008
ACM
16 years 2 months ago
Exploiting semantic web technologies to model web form interactions
Form mapping is the key problem that needs to be solved in order to get access to the hidden web. Currently available solutions for fully automatic mapping are not ready for comme...
Bernhard Krüpl, Robert Baumgartner, Wolfgang ...