7661 search results - page 131 / 1533 » Languages and the Computing Profession |
138
click to vote
STACS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We give a characterization, in terms of computational complexity, of the family Rec1 of the unary picture languages that are tiling recognizable. We introduce quasi-unary...
186
click to vote
ENC
2004
IEEE
15 years 10 months ago
2004
IEEE
Finding accurate information on the web has become a challenge due to the increment in the number of documents available on line. Current search engines retrieve relevant document...
213
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Orc is a new language for task orchestration, a form of concurrent programming with applications in workflow, business process management, and web service orchestration. ...
179
click to vote
SFP
2003
15 years 7 months ago
2003
Abstract: We outline an object-oriented extension to Camelot, a functional language in the ML family designed for resource aware computation. Camelot is compiled for the Java Virtu...
150
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we give a category-based characterization of recognizability. A recognizable subset of arrows is defined via a functor into the category of relations on sets, which ...