3005 search results - page 311 / 601 » Logical Information Systems: from Taxonomies to Logics |
203
click to vote
GIS
1992
ACM
15 years 10 months ago
1992
ACM
Machine learning techniques such as tree induction have become accepted tools for developing generalisations of large data sets, typically for use with production rule systems in p...
177
click to vote
ICONIP
2008
15 years 8 months ago
2008
Several applications would emerge from the development of efficient and robust sound classification systems able to identify the nature of non-speech sound sources. This paper prop...
156
click to vote
ICDIM
2008
IEEE
16 years 1 months ago
2008
IEEE
Client-server architectures with clients on divergent platforms are in need of services that serve a high level of interoperability and a loose binding. It should be prevented tha...
170
click to vote
AIED
2007
Springer
16 years 29 days ago
2007
Springer
SimStudent is a machine-learning agent that learns cognitive skills by demonstration. SimStudent was originally built as a building block for Cognitive Tutor Authoring Tools to hel...
162
click to vote
CAV
2007
Springer
16 years 28 days ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...