2681 search results - page 386 / 537 » Problem F |
131
click to vote
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
The problem of radio channel assignments with multiple levels of interference can be modeled using graph theory. Given a graph G, possibly infinite, and real numbers k1, k2, . . ...
106
click to vote
ISCAS
2005
IEEE
15 years 8 months ago
2005
IEEE
—Unknown protein sequences are often compared to a set of known sequences (a database scan) to detect functional similarities. Even though efficient dynamic programming algorithm...
119
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
124
click to vote
RTSS
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper we present a balanced data replication scheme that provides real-time latency bounds on content retrieval in content distribution networks. Many network applications...
138
click to vote
SIBGRAPI
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper we study the use of computer vision techniques for for underwater visual tracking and counting of fishes in vivo. The methodology is based on the application of a B...