3005 search results - page 226 / 601 » Logical Information Systems: from Taxonomies to Logics |
210
click to vote
PODS
2008
ACM
16 years 6 months ago
2008
ACM
A schema mapping is a high-level specification that describes the relationship between two database schemas. As schema mappings constitute the essential building blocks of data ex...
176
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
164
click to vote
AIL
2000
15 years 6 months ago
2000
Computational dialectics is a relatively new field. It is, among others, concerned with the formal representation of argument and dispute. The goal is to suggest algorithms, proce...
164
click to vote
SIGSOFT
2006
ACM
16 years 7 months ago
2006
ACM
Pervasive context-aware software is an emerging kind of application. Smart personal digital assistants and RFID-based location sensing software are two examples. Many of these sys...
225
Voted
RSCTC
2010
Springer
15 years 4 months ago
2010
Springer
Automatic indexing of music instruments for multi-timbre sounds is challenging, especially when partials from different sources are overlapping with each other. Temporal features, ...