53327 search results - page 10387 / 10666 » or 2007 |
147
click to vote
PPDP
2007
Springer
16 years 11 days ago
2007
Springer
Orc is a language proposed by Jayadev Misra [19] for orchestration of distributed services. Orc is very simple and elegant, based on a few basic constructs, and allows succinct an...
176
click to vote
PPDP
2007
Springer
16 years 11 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
162
click to vote
PPDP
2007
Springer
16 years 11 days ago
2007
Springer
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it con...
179
click to vote
PREMI
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. This paper presents an architecture that enables the recognizer to learn incrementally and, thereby adapt to document image collections for performance improvement. We ar...
210
click to vote
PREMI
2007
Springer
16 years 11 days ago
2007
Springer
The rapid expansion of the Internet has resulted not only in the ever-growing amount of data stored therein, but also in the burgeoning complexity of the concepts and phenomena per...