18716 search results - page 3479 / 3744 » Automatic |
214
click to vote
SAS
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...
208
click to vote
SELMAS
2004
Springer
16 years 23 days ago
2004
Springer
If agents are to negotiate automatically with one another they must share a negotiation mechanism, specifying what possible actions each party can take at any given time, when nego...
231
click to vote
SEMWEB
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. The increasing awareness of the benefits of ontologies for information processing has lead to the creation of a number of large ontologies about real world domains. The ...
190
click to vote
TAL
2004
Springer
16 years 23 days ago
2004
Springer
Word fragments or n-grams have been widely used to perform different Natural Language Processing tasks such as information retrieval [1] [2], document categorization [3], automatic...
211
click to vote
VLDB
2004
ACM
16 years 23 days ago
2004
ACM
The use of inaccurate or outdated database statistics by the query optimizer in a relational DBMS often results in a poor choice of query execution plans and hence unacceptably lo...