1916 search results - page 223 / 384 » Reasoning with class algebra |
154
click to vote
STOC
1998
ACM
15 years 10 months ago
1998
ACM
On Labor Day weekend, the highway patrol sets up spot-checks at random points on the freeways with the intention of deterring a large fraction of motorists from driving incorrectl...
225
click to vote
MAS
1998
Springer
15 years 10 months ago
1998
Springer
A key element of any mobile code based distributed system are the security mechanisms available to protect (a) the host against potentially hostile actions of a code fragment under...
199
click to vote
DEXAW
2007
IEEE
15 years 10 months ago
2007
IEEE
The vision of the Semantic Web is to make Web content machine-readable. To describe data, the Resource Description Framework has been extended with a schema-level and description ...
138
click to vote
ACSD
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract. A delay-insensitive module communicates with its environment through wires of unbounded delay. To avoid transmission interference, the absorption of a signal transition m...
153
click to vote
AISC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Origami (paper folding) has a long tradition in Japan's culture and education. We are developing a computational origami system, based on symbolic computation system...