3799 search results - page 656 / 760 » An Engineering Approach to Formal Methods |
135
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Merging operators try to define the beliefs of a group of agents according to the beliefs of each member of the group. Several model-based propositional belief merging operators h...
143
click to vote
COLING
1992
15 years 5 months ago
1992
: This paper describes a possibility of expressing ordering constraints among non-sister constituents in binary branching syntactic structures on a local basis, supported by viewin...
136
click to vote
JCB
2007
15 years 4 months ago
2007
Analysis of biopolymer sequences and structures generally adopts one of two approaches: use of detailed biophysical theoretical models of the system with experimentally-determined...
131
click to vote
JKM
2007
15 years 4 months ago
2007
Purpose – The purpose of this paper is to distinguish and describe knowledge management (KM) technologies according to their support for strategy. Design/methodology/approach ...
152
Voted
KAIS
2010
15 years 3 months ago
2010
We argue that expert finding is sensitive to multiple document features in an organizational intranet. These document features include multiple levels of associations between expe...