4353 search results - page 671 / 871 » Computational Challenges of Systems Biology |
229
click to vote
CF
2004
ACM
16 years 13 hour ago
2004
ACM
In a future networked physical world, a myriad of smart sensors and actuators assess and control aspects of their environments and autonomously act in response to it. Examples ran...
155
click to vote
CSCW
2004
ACM
16 years 13 hour ago
2004
ACM
This paper reports from a study of Norwegian medical emergency call (AMK) centres, in which advanced radio and telephone communication technologies are handled by a team of nurses...
163
click to vote
PDIS
1993
IEEE
15 years 10 months ago
1993
IEEE
d Abstract:: ACM SIGMOD Record 22 (4), Dec. 1993) RM93 Rahm, E., Marek, R.: Analysis of Dynamic Load Balancing Strategies for Parallel Shared Nothing Database Systems. Proc 19th VL...
173
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
170
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
This paper proposes a novel region-based scheme for dynamically modeling time-evolving statistics of video background, leading to an effective segmentation of foreground moving ob...