100 search results - page 18 / 20 » Optimal Decision Fusion for a Face Verification System |
HICSS
2006
IEEE
15 years 3 months ago
2006
IEEE
A paramount question faced by technology innovators is whether to license an innovation to other firms, and if so, what type of license it should use. Information technology innov...
CADE
2005
Springer
15 years 9 months ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
105
click to vote
CLOUD
2010
ACM
15 years 2 months ago
2010
ACM
Over the last 10–15 years, our industry has developed and deployed many large-scale Internet services, from e-commerce to social networking sites, all facing common challenges i...
CAV
2008
Springer
14 years 11 months ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...
108
click to vote
WSC
2007
14 years 11 months ago
2007
Large scale / mega projects are lengthy complex endeavors that require significant planning by management, engineers and construction personnel to ensure the success of the projec...