1511 search results - page 274 / 303 » A Methodology for Developing Agent Based Systems |
INFOCOM
2009
IEEE
15 years 5 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...
113
Voted
AAAI
2000
15 years 7 days 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-...
185
click to vote
CCS
2011
ACM
13 years 11 months 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...
98
Voted
EJC
2008
15 years 10 days 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...
TOPLAS
2010
14 years 9 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...