3267 search results - page 309 / 654 » Computational Models of Language Acquisition |
174
click to vote
KI
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
172
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
213
click to vote
CONCUR
2009
Springer
15 years 4 months ago
2009
Springer
We introduce a new programming language called BlenX. It is strongly inspired to process calculi and it is an evolution of Betabinders. It has been specifically designed and implem...
191
click to vote
MIDDLEWARE
2004
Springer
16 years 2 days ago
2004
Springer
Several works on grid computing have been proposed in the last years. However, most of them, including available software, can not deal properly with some issues related to contro...
201
click to vote
ECBS
1999
IEEE
15 years 11 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...