623 search results - page 42 / 125 » Declarative Network Verification |
ICIAP
2003
ACM
14 years 1 months ago
2003
ACM
Principal Components Analysis (PCA) has been one of the most applied methods for face verification using only 2D information, in fact, PCA is practically the method of choice for ...
ICMLA
2008
13 years 10 months ago
2008
We propose a novel approach for on-line treatment verification using cine EPID (Electronic Portal Imaging Device) images for hypofractionated lung radiotherapy based on a machine ...
CVPR
2005
IEEE
14 years 10 months ago
2005
IEEE
We present a method for training a similarity metric from data. The method can be used for recognition or verification applications where the number of categories is very large an...
ACMICEC
2006
ACM
14 years 15 days ago
2006
ACM
Consider an open infrastructure in which anyone can deploy mechanisms to support automated decision making and coordination amongst self-interested computational agents. Strategyp...
AUTONOMICS
2008
ACM
13 years 10 months ago
2008
ACM
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...