Sciweavers

4940 search results - page 729 / 988
» On the Complexity of Universal Programs
Sort
View
CALCO
2005
Springer
114views Mathematics» more  CALCO 2005»
16 years 3 days ago
Towards a Coalgebraic Semantics of the Ambient Calculus
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
CMMR
2005
Springer
160views Music» more  CMMR 2005»
16 years 2 days ago
The pureCMusic (pCM++) Framework as Open-Source Music Language
The pureCMusic (pCM++) framework gives the possibility to write a piece of music in terms of an algorithmic-composition-based program -also controlled by data streaming from extern...
Leonello Tarabella
CP
2005
Springer
16 years 2 days ago
Distributed Constraints for Large-Scale Scheduling Problems
Many problems of theoretical and practical interest can be formulated as Constraint Satisfaction Problems (CSPs). The general CSP is known to be NP-complete; however, distributed m...
Montserrat Abril, Miguel A. Salido, Federico Barbe...
CP
2005
Springer
16 years 2 days ago
Tree Decomposition with Function Filtering
Besides search, complete inference methods can also be used to solve soft constraint problems. Their main drawback is the high spatial complexity. To improve its practical usage, w...
Martí Sánchez, Javier Larrosa, Pedro...
HPCC
2005
Springer
16 years 2 days ago
A Scalable Framework for the Support of Advanced Edge Services
Abstract. The Ubiquitous Web requires novel programming paradigms and distributed architectures for the support of advanced services to a multitude of user devices and profiles. I...
Michele Colajanni, Raffaella Grieco, Delfina Malan...