350 search results - page 56 / 70 » Word Equations with Two Variables |
CORR
2008
Springer
14 years 10 months ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...
119
click to vote
NIPS
2008
14 years 11 months ago
2008
For many supervised learning problems, we possess prior knowledge about which features yield similar information about the target variable. In predicting the topic of a document, ...
ICDAR
2011
IEEE
13 years 9 months ago
2011
IEEE
Abstract—Segmentation of architectural floorplans is a challenging task, mainly because of the large variability in the notation between different plans. In general, traditional...
102
click to vote
ISBMS
2010
Springer
15 years 4 months ago
2010
Springer
High quality obstetric images have become readily available with fast magnetic resonance imaging protocols or new 3D ultrasound probes. These obstetric images provide detailed info...
CPHYSICS
2006
14 years 10 months ago
2006
A modification of the standard Simulated Annealing (SA) algorithm is presented for finding the global minimum of a continuous multidimensional, multimodal function. We report resu...