7988 search results - page 301 / 1598 » A Useful Undecidable Theory |
126
click to vote
FUIN
2008
15 years 5 months ago
2008
Abstract. Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equival...
125
click to vote
TIP
2002
15 years 5 months ago
2002
Object recognition, robot vision, image and film restoration may require the ability to perform disocclusion. We call disocclusion the recovery of occluded areas in a digital image...
ICASSP
2011
IEEE
14 years 9 months ago
2011
IEEE
With the electromagnetic theory as basis, we present a sensor model for three-axis magnetometers suitable for localization and tracking applications. The model depends on a physic...
169
click to vote
APIN
2004
15 years 5 months ago
2004
A rough self-organizing map (RSOM) with fuzzy discretization of feature space is described here. Discernibility reducts obtained using rough set theory are used to extract domain k...
133
click to vote
SAT
2004
Springer
15 years 10 months ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...