4419 search results - page 248 / 884 » Information Science in Transition |
185
click to vote
LICS
2005
IEEE
16 years 25 days ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
177
click to vote
LICS
2005
IEEE
16 years 25 days ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantiļ¬cation and with circular deļ¬nitions has a polynomial time subsumption pro...
166
click to vote
ICALP
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. This paper is concerned with the language inclusion problem for timed automata: given timed automata A and B, is every word accepted by B also accepted by A? Alur and Dil...
205
click to vote
DIS
2004
Springer
16 years 20 days ago
2004
Springer
Product recommendation is an important part of current electronic commerce. Useful, direct and indirect relationships between pages, especially product home pages in an e-commerce ...
226
click to vote
ITS
2004
Springer
16 years 19 days ago
2004
Springer
This research describes a probabilistic approach for developing predictive models of how students learn problem-solving skills in general qualitative chemistry. The goal is to use ...