626 search results - page 66 / 126 » When Can Formal Methods Make a Real Difference |
87
Voted
CEAS
2007
Springer
15 years 9 months ago
2007
Springer
Near-duplicate detection is not only an important pre and post processing task in Information Retrieval but also an effective spam-detection technique. Among different approache...
121
Voted
CLUSTER
2004
IEEE
15 years 7 months ago
2004
IEEE
Grid computing brings with it additional complexities and unexpected failures. Just keeping track of our jobs traversing different grid resources before completion can at times be...
125
Voted
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In previous research, we presented a dynamicprogramming-based EM (expectation-maximization) algorithm for parameterized logic programs, which is based on the structure sh...
143
Voted
ADHOC
2010
15 years 7 days ago
2010
Each node in a wireless multi-hop network can adjust the power level at which it transmits and thus change the topology of the network to save energy by choosing the neighbors wit...
132
click to vote
ISOLA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...