5695 search results - page 397 / 1139 » Using Many Cameras as One |
212
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
175
click to vote
JGAA
2007
15 years 7 months ago
2007
The cluster structure of many real-world graphs is of great interest, as the clusters may correspond e.g. to communities in social networks or to cohesive modules in software syst...
188
Voted
NAR
2002
15 years 7 months ago
2002
Comparative genomics has shown that ray-finned fish (Actinopterygii) contain more copies of many genes than other vertebrates. A large number of these additional genes appear to h...
186
Voted
PE
2002
Springer
15 years 7 months ago
2002
Springer
Many mathematical models exist for describing the behavior of TCP/IP (TCP: transmission control protocol) under an exogenous loss process that does not depend on the window size. ...
202
click to vote
ICDM
2009
IEEE
15 years 5 months ago
2009
IEEE
Climate change has been a challenging and urgent research problem for many related research fields. Climate change trends and patterns are complex, which may involve many factors a...