4930 search results - page 571 / 986 » Testing a Safety-Critical Application |
242
click to vote
ACCV
2010
Springer
15 years 2 months ago
2010
Springer
Many state-of-the-art face recognition algorithms use image descriptors based on features known as Local Binary Patterns (LBPs). While many variations of LBP exist, so far none of ...
199
click to vote
CAP
2010
15 years 2 months ago
2010
Computing the minimal elements of a partially ordered finite set (poset) is a fundamental problem in combinatorics with numerous applications such as polynomial expression optimiz...
240
click to vote
COR
2011
15 years 2 months ago
2011
We develop a decomposition method for the Time-Constrained Project Scheduling Problem (TCPSP) with Adjacent Resources. For adjacent resources the resource units are ordered and th...
216
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
176
click to vote
COLING
2010
15 years 2 months ago
2010
Unknown words are a major issue for large-scale grammars of natural language. We propose a machine learning based algorithm for acquiring lexical entries for all forms in the para...