2920 search results - page 438 / 584 » Finite information logic |
160
Voted
FC
2005
Springer
16 years 17 days ago
2005
Springer
In this paper, we formulate the concept of policy-based cryptography which makes it possible to perform policy enforcement in large-scale open environments like the Internet, with ...
179
Voted
OOPSLA
2005
Springer
16 years 16 days ago
2005
Springer
We describe CodeQuest, a system for querying source code. It combines two previous proposals, namely the use of logic programming and database system. Experiments (on projects ran...
199
Voted
NPAR
2004
ACM
16 years 14 days ago
2004
ACM
We present a method to aid in the generation of pen-and-ink style renderings of complex geometry. Most illustration algorithms focus on rendering a small number of surfaces with a...
191
Voted
SIGIR
2004
ACM
16 years 14 days ago
2004
ACM
Abstract. Today, peer-to-peer services can comprise a large and growing number of services, e.g. search services or services dealing with heterogeneous schemas in the context of Di...
199
Voted
ACRI
2004
Springer
16 years 13 days ago
2004
Springer
This paper discusses a class of 2-dimensional asynchronous cellular automata with conservation of mass, for the formation of patterns in groups. The previous study reported a metho...