2826 search results - page 393 / 566 » Maximal Vector Computation in Large Data Sets |
177
click to vote
ACSC
2008
IEEE
16 years 1 months ago
2008
IEEE
Modern computer systems are based on the traditional hierarchical file system model, but typically contain large numbers of files with complex interrelationships. This tradition...
203
click to vote
ACII
2011
Springer
14 years 6 months ago
2011
Springer
Communication between humans is rich in complexity and is not limited to verbal signals; emotions are conveyed with gesture, pose and facial expression. Facial Emotion Recognition ...
165
click to vote
CAV
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
173
click to vote
IMSCCS
2007
IEEE
16 years 26 days ago
2007
IEEE
Background: Activities of drug molecules can be predicted by QSAR (quantitative structure activity relationship) models, which overcomes the disadvantages of high cost and long cy...
193
click to vote
ICCV
1999
IEEE
16 years 8 months ago
1999
IEEE
In this paper we address the problem of minimizing a large class of energy functions that occur in early vision. The major restriction is that the energy function's smoothnes...