10289 search results - page 1696 / 2058 » Standard bases in K |
185
click to vote
AIML
2006
15 years 8 months ago
2006
In [9] we developed a semantics for quantified relevant logic that uses general frames. In this paper, we adapt that model theory to treat quantified modal logics, giving a complet...
165
click to vote
CADUI
2004
15 years 8 months ago
2004
: This paper presents a framework for the automatic production of Digital Talking Books (DTB). The production process converts existing audio tapes and OCR-based digitalization of ...
218
Voted
DATESO
2004
15 years 8 months ago
2004
The XML language have been becoming de-facto a standard for representation of heterogeneous data in the Internet. From database point of view, XML is a new approach to data modelli...
182
click to vote
CSREAEEE
2006
15 years 8 months ago
2006
Recent research on distributed Internet based B2B e-commerce has focused on long running distributed transactions and the possibility that this characteristic may lead to extended...
148
click to vote
CSREAESA
2006
15 years 8 months ago
2006
- Ever-increasing demands of space missions for data returns from their limited processing and communications resources have made the traditional approach of data gathering, data c...