2266 search results - page 389 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
114
click to vote
IPL
2010
15 years 1 days ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
130
click to vote
SIVP
2010
14 years 12 months ago
2010
In various applications from radar processing to mobile communication systems based on CDMA for instance, M-AR multichannel processes are often considered and may be combined with...
129
click to vote
INFOCOM
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— We consider the scenario of distributed data aggregation in wireless sensor networks, where each sensor can obtain and estimate the information of the whole sensing fi...
225
click to vote
ICDT
2010
ACM
15 years 11 months ago
2010
ACM
We consider a fragment of XPath named `forward-XPath', which contains all descendant and rightwards sibling axes as well as data equality and inequality tests. The satisfiabi...
102
click to vote
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— Many computer vision problems such as recognition, image retrieval, and tracking require matching two images. Currently, ones try to find as reliable as possible match...