4698 search results - page 191 / 940 » Making Functionality More General |
156
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
In a previous work, the first author extended to higher-order rewriting and dependent types the use of size annotations in types, a termination proof technique called type or size ...
153
click to vote
CI
1998
15 years 6 months ago
1998
A pattern database is a lookup table that stores an exact evaluation function for a relaxed search problem, which provides an admissible heuristic for the original search problem....
187
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
We propose a new real-time authentication scheme for memory. As in previous proposals the scheme uses a Merkle tree to guarantee dynamic protection of memory. We use the universal...
134
click to vote
ATAL
2005
Springer
16 years 23 hour ago
2005
Springer
The following demonstration will provide an overview of the key functionality and capabilities of Magenta’s Logistics i-Scheduler – a multi-agent software tool for real time s...
185
click to vote
TPHOL
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper describes the concept of higher order quotients and an implementation in Isabelle. Higher order quotients are a generalization of quotients. They use partial equivalence...