4340 search results - page 770 / 868 » Formal Methods and Cryptography |
128
click to vote
IJCAI
2003
15 years 5 months ago
2003
Conventional methods used for the interpretation of activation data provided by functional neuroimaging techniques provide useful insights on what the networks of cerebral structu...
145
click to vote
NDQA
2003
15 years 5 months ago
2003
With the ever-increasing amount of textual information available, it is becoming increasingly unlikely that a single document will provide the answer to a question. A more likely ...
117
click to vote
OAS
2003
15 years 5 months ago
2003
Current Web services standards enable publishing service descriptions and finding services by matching requested and published descriptions based on syntactic criteria such as me...
130
click to vote
SERP
2003
15 years 5 months ago
2003
System reliability has become an increasingly important benchmark in measuring service continuity. As part of many service level agreements, system performance is gauged by how lo...
128
click to vote
ACL
1998
15 years 5 months ago
1998
Much of the power of probabilistic methods in modelling language comes from their ability to compare several derivations for the same string in the language. An important starting...