2293 search results - page 285 / 459 » Temporal Logic in Information Systems |
204
click to vote
EFDBS
2003
15 years 8 months ago
2003
A definition of types in an information system is given from ld abstractions through data constructs, schema and definitions to physical data values. Category theory suggests tha...
163
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Automatically extracting temporal information from musical recordings is inarguably one of the most critical subtasks of many music information retrieval systems. In this paper we...
176
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
We describe a new smart meeting room system called EasyMeeting that explores the use of FIPA agent technologies, Semantic Web ontologies, logic reasoning, and security and privacy...
187
click to vote
DOLAP
2004
ACM
16 years 9 hour ago
2004
ACM
In today’s OLAP systems, integrating fast changing data, e.g., stock quotes, physically into a cube is complex and time-consuming. The widespread use of XML makes it very possib...
161
click to vote
ACL
2010
15 years 4 months ago
2010
One goal of natural language generation is to produce coherent text that presents information in a logical order. In this paper, we show that topological fields, which model high-...