22864 search results - page 4569 / 4573 » An Integrated and |
SIGGRAPH
1990
ACM
15 years 1 months ago
1990
ACM
not abstract asymmetry: different sides looks different clumps different from "data objects" need grid structure, alignment [Design Guidelines for Landmarks to Support Na...
CAV
2010
Springer
15 years 1 months ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
AAAI
2007
14 years 11 months ago
2007
A traditional goal of Artificial Intelligence research has been a system that can read unrestricted natural language texts on a given topic, build a model of that topic and reason...
103
click to vote
AAAI
2008
14 years 11 months ago
2008
Email client software is widely used for personal task management, a purpose for which it was not designed and is poorly suited. Past attempts to remedy the problem have focused o...
GIL
2007
14 years 11 months ago
2007
: Die Verarbeitung von raumbezogenen Informationen hat in den letzten Jahren im Agrarsektor neue Perspektiven eröffnet und gewinnt stetig an Bedeutung. Insbesondere bei der Beauft...