12753 search results - page 2321 / 2551 » Intelligent information retrieval |
340
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
190
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Gaze is an extremely important aspect of human face to face interaction. Over the course of an interaction, a single individual’s gaze can perform many different functions, such...
187
click to vote
IEAAIE
2009
Springer
16 years 1 months ago
2009
Springer
The process of knowledge discovery from databases is a knowledge intensive, highly user-oriented practice, thus has recently heralded the development of ontology-incorporated data ...
212
click to vote
IJCNN
2008
IEEE
16 years 1 months ago
2008
IEEE
— Nowadays, huge amounts of information from different industrial processes are stored into databases and companies can improve their production efficiency by mining some new kn...
226
click to vote
ICARCV
2006
IEEE
16 years 1 months ago
2006
IEEE
– Smart camera, or an intelligent camera, is an embedded vision system which captures and processes image to extract application-specific information in real time. Smart cameras ...