3166 search results - page 243 / 634 » Translation By Structural Correspondences |
145
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
stone in the object-oriented paradigm is the abstraction mechanisms transcending analysis, design, and implementation. The notions of class, object, behaviour, and inheritance are...
146
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Various problems in AI can be solved by translating them into a quantified boolean formula (QBF) and evaluating the resulting encoding. In this approach, a QBF solver is used as a ...
204
click to vote
EDBT
1992
ACM
15 years 10 months ago
1992
ACM
The DBGraph storage model, designed for main memory DBMS, ensures both data storage compactness and efficient processing for all database operations. By representing the entire da...
175
click to vote
ASSETS
2005
ACM
15 years 8 months ago
2005
ACM
While strings and syntax trees are used by the Natural Language Processing community to represent the structure of spoken languages, these encodings are difficult to adapt to a si...
174
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
The capacity of flash-memory storage systems grows at a speed similar to many other storage systems. In order to properly manage the product cost, vendors face serious challenges ...