7811 search results - page 487 / 1563 » computer 2004 |
199
click to vote
AISC
2004
Springer
16 years 7 days ago
2004
Springer
ion Within Partial Deduction for Linear Logic . . . . . . . . . . . . . . . . . 52 P. K¨ungas A Decision Procedure for Equality Logic with Uninterpreted Functions . . . 66 O. Tver...
184
click to vote
EVOW
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. This paper presents an application of a hierarchical social (HS) metaheuristic to region-based segmentation. The original image is modelled as a simplified image graph, w...
211
click to vote
GC
2004
Springer
16 years 7 days ago
2004
Springer
In this paper, we consider semantic service discovery in a global computing environment. We propose creating a dynamic overlay network by grouping together semantically related ser...
194
click to vote
ICGI
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper investigates the learnability of Pregroup Grammars, a context-free grammar formalism recently defined in the field of computational linguistics. In a first ...
148
click to vote
SIGADA
2004
Springer
16 years 5 days ago
2004
Springer
This paper describes several tools related to the Ada language that were developed to support the teaching of a computer graphics course. These tools include an updated and improv...