2293 search results - page 278 / 459 » Temporal Logic in Information Systems |
179
click to vote
CSL
1999
Springer
15 years 11 months ago
1999
Springer
This paper describes a new data structure, difference decision diagrams (DDDs), for representing a Boolean logic over inequalities of the form ¡£¢¥¤§¦©¨ and ¡¢¥¤...
152
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. The technical contribution of this...
162
click to vote
DMIN
2006
15 years 8 months ago
2006
- As is generally accepted, the most important feature that a Knowledge Discovery in Database (KDD) system must possess is, to be able to discover patterns that are "novel&quo...
174
click to vote
MM
2009
ACM
16 years 1 months ago
2009
ACM
In this technical demonstration we show a web video search engine based on ontologies, the Sirio1 system, that has been developed within the EU VidiVideo project. The goal of the ...
132
click to vote
IV
2009
IEEE
16 years 1 months ago
2009
IEEE
Re-finding previously viewed Web pages in browsing histories is often a difficult task, due to the incomplete and vague knowledge people have about the information they are seek...