3392 search results - page 474 / 679 » Using Knowledge Representation to Understand Interactive Sys... |
179
click to vote
AAMAS
2012
Springer
14 years 14 days ago
2012
Springer
In this paper we demonstrate how a qualitative framework for decision making can be used to model scenarios from experimental economic studies and we show how our approach explains...
130
click to vote
VLDB
2004
ACM
15 years 10 months ago
2004
ACM
Large boolean matrices are a basic representational unit in a variety of applications, with some notable examples being interactive visualization systems, mining large graph struc...
152
Voted
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We propose a unified neural network architecture and learning algorithm that can be applied to various natural language processing tasks including: part-of-speech tagging, chunki...
167
click to vote
ICSE
1999
IEEE-ACM
15 years 9 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
151
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Many attempts are being made to understand biological subjects at a systems level. A major resource for these approaches are biological databases, storing manifold inf...