157 search results - page 10 / 32 » Tackling Post's Correspondence Problem |
SAT
2004
Springer
14 years 21 days ago
2004
Springer
Kolaitis and Vardi pointed out that constraint satisfaction and conjunctive query containment are essentially the same problem. We study the Boolean conjunctive queries under a mor...
ICA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Renyi’s entropy-based criterion has been proposed as an objective function for independent component analysis because of its relationship with Shannon’s entropy and i...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
— Positioning a robot with respect to objects by using data provided by a camera is a well known technique called visual servoing. In order to perform a task, the object must exh...
ICMCS
2005
IEEE
14 years 29 days ago
2005
IEEE
Our previous research shows that the use of multiple sources of information based on intrinsic AV features and external knowledge helps to detect events in soccer video. To make t...
OWLED
2008
13 years 8 months ago
2008
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...