3229 search results - page 117 / 646 » Theories with the Independence Property |
140
Voted
AI
2005
Springer
15 years 19 days ago
2005
Springer
In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal...
77
Voted
BC
2005
15 years 18 days ago
2005
Abstract The coupling of movement behavior and environmental signals has been extensively studied within the domain of rhythmic coordination tasks. However, in contrast to most tra...
103
click to vote
CJ
2004
15 years 17 days ago
2004
act interpretation. R. Barbuti, C. Bernardeschi and N. De Francesco With mobile technology more and more prominent, the problem of security leakages becomes more and more important...
102
click to vote
TON
2010
14 years 11 months ago
2010
Abstract—Comparing graphs to determine the level of underlying structural similarity between them is a widely encountered problem in computer science. It is particularly relevant...
110
click to vote
GBRPR
2009
Springer
14 years 10 months ago
2009
Springer
In this paper, we present a novel graph construction method and demonstrate its usage in a broad range of applications starting from a relatively simple single-surface segmentation...