3323 search results - page 404 / 665 » Computational Semantics with Functional Programming |
155
click to vote
WMCSA
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes the adaptive component migration facility in the Bifrost Location-Independent Computing System. We present a facility that allows mobile clients to selectivel...
160
click to vote
CONEXT
2005
ACM
15 years 8 months ago
2005
ACM
We present the design and implementation of the Janus1 architecture for providing flexible and lightweight access to sensor network resources from Internet-type networks. Janus p...
200
click to vote
ICMT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The QVT Relations (QVT-R) transformation language allows the definition of bidirectional model transformations, which are required in cases where a two (or more) models ...
199
click to vote
JMLR
2012
13 years 9 months ago
2012
The development of accurate models and efficient algorithms for the analysis of multivariate categorical data are important and longstanding problems in machine learning and compu...
152
click to vote
NSPW
2006
ACM
16 years 17 days ago
2006
ACM
This paper details a true and striking paradigm shift: the use of E-Prime for (at least) user-centered security, organizational/enterprise security policies and informal security ...