394 search results - page 45 / 79 » Computing Minimal Polynomials of Matrices |
100
click to vote
APN
2005
Springer
15 years 6 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
82
Voted
APN
2006
Springer
15 years 4 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
112
click to vote
RECOMB
2010
Springer
14 years 11 months ago
2010
Springer
Motivated by the trend of genome sequencing without completing the sequence of the whole genomes, Mu˜noz et al. recently studied the problem of filling an incomplete multichromos...
104
Voted
ADHOCNOW
2004
Springer
15 years 6 months ago
2004
Springer
Topology control is the problem of assigning transmission power values to the nodes of an ad hoc network so that the induced graph satisfies some specified property. The most fun...
114
click to vote
ICCV
2007
IEEE
16 years 2 months ago
2007
IEEE
We address the problem of reconstructing the 3-D shape of a Lambertian surface from multiple images acquired as an object rotates under distant and possibly varying illumination. ...