1888 search results - page 326 / 378 » Proof theory and computational analysis |
DRM
2008
Springer
13 years 10 months ago
2008
Springer
Content identification has many applications, ranging from preventing illegal sharing of copyrighted content on video sharing websites, to automatic identification and tagging of ...
BCSHCI
2007
13 years 10 months ago
2007
The landscape of interactive technology design and evaluation is expanding. In the past, usability and task efficiency were the main focus for research in human computer interacti...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
During the last decade, incremental sampling-based motion planning algorithms, such as the Rapidly-exploring Random Trees (RRTs), have been shown to work well in practice and to po...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Many AI researchers and cognitive scientists have argued that analogy is the core of cognition. The most influential work on computational modeling of analogy-making is Structure ...
SOCO
2008
Springer
13 years 8 months ago
2008
Springer
The new concept and method of imposing imprecise (fuzzy) input and output data upon the conventional linear regression model is proposed in this paper. We introduce the fuzzy scala...