3468 search results - page 169 / 694 » An open logical framework |
174
click to vote
LPAR
2007
Springer
16 years 19 days ago
2007
Springer
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...
165
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
There is a growing concern about timing errors resulting from design marginalities and the effects of circuit aging on speed-paths in logic circuits. This paper presents a low ove...
193
click to vote
SP
2000
IEEE
15 years 11 months ago
2000
IEEE
We address the goal of making Delegation Logic (DL) into a practically implementable and tractable trustmanagement system. DL [22] is a logic-based knowledge representation (i.e.,...
171
click to vote
SIGIR
1998
ACM
15 years 10 months ago
1998
ACM
We describe the design and implementation of a system for logic-based multimedia retrieval. As highlevel logic for retrieval of hypermedia documents, we have developed a probabilis...
161
click to vote
JMM2
2008
15 years 6 months ago
2008
The preservation of temporal dependencies among different media data, such as text, still images, video and audio, and which have simultaneous distributed sources as origin, is an ...