11808 search results - page 120 / 2362 » Isometries and Computability Structures |
137
click to vote
GRC
2007
IEEE
15 years 8 months ago
2007
IEEE
Granular computing is not only a computing model for computer-centered problem solving, but also a thinking model for human-centered problem solving. Some authors have presented t...
118
click to vote
JSYML
2007
15 years 4 months ago
2007
In this paper we answer the following well-known open question in computable model theory. Does there exist a computable not ℵ0-categorical saturated structure with a unique com...
136
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Graphs are powerful data structures that have many attractive properties for object representation. However, some basic operations are difficult to define and implement, for ins...
150
click to vote
TABLEAUX
2009
Springer
15 years 9 months ago
2009
Springer
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...
167
click to vote
CCGRID
2004
IEEE
15 years 8 months ago
2004
IEEE
Distributed Virtual Computer (DVC) is a computing environment which simplifies the development and execution of distributed applications on computational grids. DVC provides a sim...