2063 search results - page 204 / 413 » connection 2007 |
175
click to vote
LOPSTR
2007
Springer
16 years 21 days ago
2007
Springer
This paper introduces a modular framework for termination analysis of logic programming. To this end, we adapt the notions of dependency pairs and dependency graphs (which were dev...
196
click to vote
LPNMR
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of ex...
191
click to vote
MCAM
2007
Springer
16 years 21 days ago
2007
Springer
This paper proposes a scheme to detect and locate the players and the ball on the grass playfield in soccer videos. We put forward a shape analysisbased approach to identify the pl...
158
click to vote
MDM
2007
Springer
16 years 21 days ago
2007
Springer
Mobile collaborative environments, being naturally loosely-coupled, call for optimistic replication solutions in order to attain the requirement of decentralized highly available ...
175
click to vote
MFCS
2007
Springer
16 years 21 days ago
2007
Springer
A tournament is a graph in which each pair of distinct vertices is connected by exactly one directed edge. Tournaments are an important graph class, for which isomorphism testing ...