1738 search results - page 109 / 348 » Local Consistency and SAT-Solvers |
IPPS
1998
IEEE
14 years 2 months ago
1998
IEEE
In this paper the problem of fault-tolerant message routing in two-dimensional meshes, with each inner node having 4 neighbors, is investigated. It is assumed that some nodes/links...
AIPS
2007
14 years 12 days ago
2007
We introduce the Linear Resource Temporal Network (LRTN), which consists of activities that consume or produce a resource, subject to absolute and relative metric temporal constra...
AVSS
2008
IEEE
14 years 3 days ago
2008
IEEE
Super-resolution (SR) of facial images from video suffers from facial expression changes. Most of the existing SR algorithms for facial images make an unrealistic assumption that ...
ESWS
2008
Springer
13 years 12 months ago
2008
Springer
Organizations working in a multilingual environment demand multilingual ontologies. To solve this problem we propose LabelTranslator, a system that automatically localizes ontologi...
ICMLA
2008
13 years 11 months ago
2008
Spam sender detection based on email subject data is a complex large-scale text mining task. The dataset consists of email subject lines and the corresponding IP address of the em...