3443 search results - page 257 / 689 » More Algebras for Determiners |
170
click to vote
WWW
2009
ACM
16 years 1 months ago
2009
ACM
In the past, some researches suggested that engineers can use combined software reliability growth models (SRGMs) to obtain more accurate reliability prediction during testing. In...
183
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Determining whether a set of features can be composed, or safe composition, is a hard problem in software product line engineering because the number of feature combinations can b...
177
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
173
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
A key step in the process of lip-reading is determining the shape of the speaker’s lips. This has previously been achieved through an energy method known as “snakes”, howeve...
140
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Modulation filtering is a technique for filtering slowly-varying envelopes of frequency subbands of a nonstationary signal, ideally without affecting the signal’s phase and ...