3164 search results - page 493 / 633 » On Granular Knowledge Structures |
136
Voted
CCS
2004
ACM
15 years 11 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
159
Voted
CSLP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper is concerned with the question of quantifying gradient degrees of acceptability by introducing the notion of Density in the context of constructional constrain...
156
Voted
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
136
Voted
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Open domain question answering (QA) systems have to bridge the potential vocabulary mismatch between a question and its candidate answers. One can view this as a recall problem and...
185
click to vote
ECWEB
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The adoption of mobile technologies into companies frequently follows a technology -driven approach without precise knowledge about the potential benefits that may be rea...