6546 search results - page 200 / 1310 » Improving the Performance of the RISE Algorithm |
216
click to vote
FORTE
1994
15 years 7 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
166
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Quantitative proteomics technologies have been developed to comprehensively identify and quantify proteins in two or more complex samples. Quantitative proteomics base...
181
click to vote
ICCCN
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- in the current Internet, congestion control is performed jointly by the end systems running the TCP protocol and by routers running Active Queue Management (AQM) algorit...
188
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
User browsing information, particularly their non-search related activity, reveals important contextual information on the preferences and the intent of web users. In this paper, ...
153
click to vote
SEMWEB
2007
Springer
16 years 17 days ago
2007
Springer
A new paradigm in Semantic Web research focuses on the development of a new generation of knowledge-based problem solvers, which can exploit the massive amounts of formally speciï¬...