Sciweavers

1880 search results - page 155 / 376
» A Fact-Oriented Approach to Activity Modeling
Sort
View
IUI
2010
ACM
14 years 2 months ago
Towards a reputation-based model of social web search
While web search tasks are often inherently collaborative in nature, many search engines do not explicitly support collaboration during search. In this paper, we describe HeyStaks...
Kevin KcNally, Michael P. O'Mahony, Barry Smyth, M...
SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
14 years 1 months ago
Analysis of Multithreaded Programs
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
Martin C. Rinard
IJKL
2008
116views more  IJKL 2008»
13 years 9 months ago
Assessing the enterprise's knowledge management maturity level
: Knowledge is not manageable, as if it were data or information. Consequently, Knowledge Management (KM) must address activities that utilise and create knowledge, instead of addr...
Michel Grundstein
AI
2005
Springer
13 years 9 months ago
A logic-based model of intention formation and action for multi-agent subcontracting
We present a formalism for representing the formation of intentions by agents engaged in cooperative activity. We use a syntactic approach presenting a formal logical calculus tha...
John Grant, Sarit Kraus, Donald Perlis
HICSS
2002
IEEE
116views Biometrics» more  HICSS 2002»
14 years 2 months ago
Multiagent Modeling and Simulation in Human-Robot Mission Operations Work System Design
This paper describes a collaborative multiagent modeling and simulation approach for designing work systems. The Brahms environment is used to model mission operations for a semi-...
Maarten Sierhuis, William J. Clancey, Michael H. S...