308 search results - page 9 / 62 » User's Functions in Standard Prolog |
PDC
2004
ACM
14 years 24 days ago
2004
ACM
Most experiments with participative design are with small scale, stand alone and not very strategic applications of ICT in organizations. However, modern ICT applications are incr...
CLUSTER
2002
IEEE
14 years 11 days ago
2002
IEEE
A practical problem faced by users of metacomputers and computational grids is: If my computation can move from one system to another, how can I ensure that my data will still be ...
SCN
2008
Springer
13 years 7 months ago
2008
Springer
The Multimedia Broadcast Multicast Service (MBMS) has been included in the 3GGP architecture to provide broadcast/multicast services. In the 3GPP Long Term Evolution, the evolved M...
ITP
2010
13 years 11 months ago
2010
We present a formalisation of separation logic which, by avoiding the use of existential quantifiers, allows proofs that only use standard equational rewriting methods as found in...
SISAP
2009
IEEE
14 years 2 months ago
2009
IEEE
—We present an image retrieval system based on a combined search of text and content. The idea is to use the text present in title, description, and tags of the images for improv...