Sciweavers

2293 search results - page 89 / 459
» Temporal Logic in Information Systems
Sort
View
AI
2008
Springer
14 years 10 months ago
Modelling and solving temporal reasoning as propositional satisfiability
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
Duc Nghia Pham, John Thornton, Abdul Sattar
EUSFLAT
2009
14 years 7 months ago
Information System for the valuation of Universities in Spain
The Spanish National Agency for Quality Assessment and Accreditation as part of its evaluation activities has established a procedure for evaluating both teaching and institutions,...
Maria Socorro García-Cascales, Maria Teresa...
BIBM
2008
IEEE
125views Bioinformatics» more  BIBM 2008»
14 years 10 months ago
Systems Biology via Redescription and Ontologies (III): Protein Classification Using Malaria Parasite's Temporal Transcriptomic
This paper addresses the protein classification problem, and explores how its accuracy can be improved by using information from time-course gene expression data. The methods are ...
Antonina Mitrofanova, Samantha Kleinberg, Jane Car...
HIM
1997
Springer
162views Multimedia» more  HIM 1997»
15 years 2 months ago
Probabilistic Logical Information Retrieval for Content, Hypertext, and Database Querying
Classical retrieval models support content-oriented searching for documents using a set of words as data model. However, in hypertext and database applications we want to consider...
Thomas Rölleke, Markus Blömer
VLDB
2007
ACM
141views Database» more  VLDB 2007»
15 years 4 months ago
UQLIPS: A Real-time Near-duplicate Video Clip Detection System
Near-duplicate video clip (NDVC) detection is an important problem with a wide range of applications such as TV broadcast monitoring, video copyright enforcement, content-based vi...
Heng Tao Shen, Xiaofang Zhou, Zi Huang, Jie Shao, ...