8828 search results - page 1390 / 1766 » Formal methods in practice |
179
click to vote
NIPS
2004
15 years 8 months ago
2004
Semantic taxonomies such as WordNet provide a rich source of knowledge for natural language processing applications, but are expensive to build, maintain, and extend. Motivated by...
153
click to vote
RIAO
2004
15 years 8 months ago
2004
A group memory of a project is an information space storing the documents produced and exchanged by members of the group, which may include the electronic discussions that took pl...
183
click to vote
IJCAI
2003
15 years 8 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...
178
click to vote
NDQA
2003
15 years 8 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 ...
162
click to vote
OAS
2003
15 years 8 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...