1113 search results - page 25 / 223 » Counter Systems for Data Logics |
137
click to vote
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
We use the OPA complex systems model of the power transmission system to investigate the effect of a series of different network upgrade scenarios on the long time dynamics and th...
107
click to vote
LREC
2008
15 years 5 months ago
2008
This paper presents a multipurpose system for wordnet (WN) development, named Hydra. Hydra is an application for data editing and validation, as well as for data retrieval and syn...
124
click to vote
JMM2
2008
15 years 4 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 ...
139
click to vote
SIGIR
1998
ACM
15 years 8 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...
126
click to vote
ASIAN
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...