8825 search results - page 1351 / 1765 » All for one or one for all |
117
Voted
CF
2005
ACM
15 years 3 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
112
click to vote
HT
2010
ACM
15 years 3 months ago
2010
ACM
Online social sharing sites are becoming very popular nowadays among Web users, who use these sites to share their favourite items and to discover interesting and useful items fro...
130
Voted
CPM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Speeding up approximate pattern matching is a line of research in stringology since the 80’s. Practically fast approaches belong to the class of filtration algorithms,...
112
click to vote
COCOON
2008
Springer
15 years 3 months ago
2008
Springer
When a switching network topology is used for constructing optical cross-connects, as in the circuit switching case, no two routes are allowed to share a link. However, if two rou...
139
click to vote
FMSB
2008
15 years 3 months ago
2008
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...