3745 search results - page 453 / 749 » Sonic: System Description |
220
Voted
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We propose a method for inferring parameterized regular types for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint s...
141
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Software that cannot evolve is condemned to atrophy: it cannot accommodate the constant revision and renegotiation of its business goals nor intercept the potential of new technol...
190
click to vote
ENTCS
2008
15 years 6 months ago
2008
Modeling natural systems is a complicated task that involves the concurrent behavior of various processes, mechanisms and objects. Here, we describe an approach that we have been ...
179
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
During the last decade there has been a huge interest in Grid technologies, and numerous Grid projects have been initiated with various visions of the Grid. While all these visions...
160
click to vote
IPM
2008
15 years 6 months ago
2008
Interactive Cross-Language Information Retrieval (CLIR), a process in which searcher and system collaborate to find documents that satisfy an information need regardless of the la...