892 search results - page 78 / 179 » An efficient terminal and model order reduction algorithm |
123
click to vote
AAAI
2006
15 years 4 months ago
2006
One of the main topics of research in genomics is determining the relevance of mutations, described in haplotype data, as causes of some genetic diseases. However, due to technolo...
145
click to vote
IMCSIT
2010
15 years 23 days ago
2010
In our work we present a new approach to the problem of channel assignment in Wireless Ad Hoc Network. We introduce a new algorithm which works in distributed model of computations...
129
click to vote
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...
131
click to vote
CAV
2008
Springer
15 years 4 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...
148
click to vote
FGR
2006
IEEE
15 years 6 months ago
2006
IEEE
Automatic extraction of facial feature deformations (either due to identity change or expression) is a challenging task and could be the base of a facial expression interpretation...