1511 search results - page 274 / 303 » A Methodology for Developing Agent Based Systems |
98
Voted
INFOCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
—Establishing a clear and timely picture of Internet topology is complicated by many factors including the vast size and dynamic nature of the infrastructure. In this paper, we d...
127
click to vote
AAAI
2000
15 years 2 months ago
2000
This paper describes the Rostering Engine (RE) that we have developed for the Hospital Authority (HA), Hong Kong as part of their Staff Rostering System (SRS) using AI constraint-...
212
Voted
CCS
2011
ACM
14 years 17 days ago
2011
ACM
Paper forgery is among the leading causes of corruption in many developing regions [2]. In this paper, we introduce PaperSpeckle, a robust system that leverages the natural random...
117
click to vote
EJC
2008
15 years 2 months ago
2008
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...
103
Voted
TOPLAS
2010
14 years 11 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...