6274 search results - page 975 / 1255 » Proofs, Programs, Processes |
114
click to vote
JUCS
2008
15 years 3 months ago
2008
: Most today's web sources do not provide suitable interfaces for software programs to interact with them. Many researchers have proposed highly effective techniques to addres...
141
click to vote
JUCS
2006
15 years 3 months ago
2006
: Our aim is to discuss what, when and, how deep logic should be taught in the computer science education in connection with the so called "Bologna process". We survey th...
144
click to vote
TIP
2008
15 years 3 months ago
2008
Abstract--In this paper, we analyze the computational challenges in implementing particle filtering, especially to video sequences. Particle filtering is a technique used for filte...
124
click to vote
JIB
2007
15 years 3 months ago
2007
Control of cell proliferation, differentiation, activation and cell removal is crucial for the development and existence of multi-cellular organisms. Apoptosis, or programmed cell...
120
click to vote
TPDS
2008
15 years 3 months ago
2008
In this paper, we discuss and compare several policies to place replicas in tree networks, subject to server capacity and Quality of Service (QoS) constraints. The client requests ...