3604 search results - page 478 / 721 » All Common Subsequences |
188
click to vote
FORTE
2010
15 years 8 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
186
click to vote
DGO
2007
15 years 8 months ago
2007
Government e-services available to citizens represent one of the most frequent and critical points of contact between public administrations and citizens. In addition to common se...
143
click to vote
LREC
2010
15 years 8 months ago
2010
The JOS language resources are meant to facilitate developments of HLT and corpus linguistics for the Slovene language and consist of the morphosyntactic specifications, defining ...
308
click to vote
GRAPHICSINTERFACE
2008
15 years 8 months ago
2008
Shadow maps are commonly used in real-time rendering, but they cannot be filtered linearly like standard color, resulting in severe aliasing. Variance shadow maps resolve this pro...
143
click to vote
IADIS
2008
15 years 8 months ago
2008
Leisure-time physical activity (LTPA) has been shown to be an effective way of preventing diseases. However 50% of the people who start any type of sports or LTPA drop out of the ...