6740 search results - page 976 / 1348 » Using Classification as a Programming Language |
171
click to vote
ICALP
2007
Springer
16 years 29 days ago
2007
Springer
Following the idea developed by I. Simon in his theorem of Ramseyan factorisation forests, we develop a result of ‘deterministic factorisations’. This extra determinism propert...
176
click to vote
ICLP
2007
Springer
16 years 29 days ago
2007
Springer
This article describes the experiences developing a Semantic Web application entirely in Prolog. The application, a demonstrator that provides access to multiple art collections an...
152
click to vote
IFIP
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This paper proposes a door access control system with mobile phones which allows off-line delegations of an access. A model of door access control with mobile phones is ...
148
click to vote
VMCAI
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
192
click to vote
IPPS
2005
IEEE
16 years 12 days ago
2005
IEEE
UPC is a parallel programming language based on the concept of partitioned shared memory. There are now several UPC compilers available and several different parallel architecture...