2563 search results - page 18 / 513 » Phenomenology, Representations and Complexity |
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
86
Voted
SIGIR
1996
ACM
15 years 1 months ago
1996
ACM
The aggregated structure of documents plays a key role in full-text, multimedia, and network Information Retrieval (IR). Considering aggregation provides new querying facilities a...
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
The use of motor primitives for the generation of complex movements is a relatively new and interesting idea for dimensionality reduction in robot control. We propose a framework ...
IWPC
2005
IEEE
15 years 3 months ago
2005
IEEE
Previous studies have shown that novices do not tend to extract or use data-flow information during program comprehension. However, for impact analysis and similar tasks, data-ï¬...
ICIP
2009
IEEE
15 years 10 months ago
2009
IEEE
The analytic signature is a recently proposed 2D shape representation scheme. It is tailored to the representation of shapes described by arbitrary sets of unlabeled points, or la...