3073 search results - page 14 / 615 » Real World Verification |
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
Complete algorithms have been proposed to solve problems modelled as distributed constraint optimization (DCOP). However, there are only few attempts to address real world scenari...
ICWE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Search engines are becoming such an easy way to find textual resources that we wish to use them also for multimedia content; however, syntactic techniques, even if promi...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
We present our experience in bringing ShapeWriter, a novel HCI research product, from the laboratory to real world users through iPhone's App Store. Keywords mobile, iPhone, ...
ANLP
1997
13 years 9 months ago
1997
This paper describes SMES, an information extraction core system for real world German text processing. The basic design criterion of the system is of providing a set of basic pow...
AGI
2011
12 years 11 months ago
2011
Abstract. Recent theories of universal algorithmic intelligence, combined with the view that the world can be completely specified in mathematical terms, have led to claims about ...