3993 search results - page 563 / 799 » Matchmaking for Structured Objects |
129
click to vote
CALCO
2005
Springer
15 years 9 months ago
2005
Springer
This paper provides a general account of the notion of recursive program schemes, studying both uninterpreted and interpreted solutions. It can be regarded as the category-theoret...
116
click to vote
DEXA
2005
Springer
15 years 9 months ago
2005
Springer
Software package selection is an activity that plays an increasingly crucial role in the delivery of software systems. One of its main open issues is how to structure the knowledge...
105
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
The fundamental challenge faced by any visual system within natural environments is the ambiguity caused by the fact that light that falls on the system’s sensors conflates mult...
151
click to vote
GEOS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Conceptual Graphs are a very powerful knowledge and meaning representation formalism grounded on deep philosophical, linguistic and object oriented principles [1], [2]. C...
136
click to vote
ISAAC
2005
Springer
15 years 9 months ago
2005
Springer
We present an expected polynomial time algorithm to generate a 2-connected unlabeled planar graph uniformly at random. To do this we first derive recurrence formulas to count the ...