2293 search results - page 204 / 459 » Temporal Logic in Information Systems |
203
click to vote
SIGIR
2010
ACM
15 years 10 months ago
2010
ACM
Music information retrieval (MIR) holds great promise as a technology for managing large music archives. One of the key components of MIR that has been actively researched into is...
169
click to vote
ECBS
2008
IEEE
16 years 1 months ago
2008
IEEE
Models are widely used for communication and documentation purposes. They also tend to be used as parameters for code generation. Because these models have to be complete, consist...
168
click to vote
IEEEICCI
2007
IEEE
16 years 1 months ago
2007
IEEE
Granular computing concerns human thinking and problem solving, as well as their implications to the design of knowledge intensive systems. It simplifies complex real world probl...
188
click to vote
TABLEAUX
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
159
click to vote
JELIA
2004
Springer
16 years 2 days ago
2004
Springer
Practical reasoners are resource-bounded—in particular they require time to derive consequences of their knowledge. Building on the Timed Reasoning Logics (TRL) framework introdu...