96 search results - page 4 / 20 » A Decision-Theoretic Model of Assistance - Evaluation, Exten... |
MATES
2009
Springer
14 years 9 days ago
2009
Springer
Abstract. Taxonomies in the area of Multi-Agent Systems (MAS) classify problems according to the underlying principles and assumptions of the agents’ abilities, rationality and i...
IWSSD
2000
IEEE
13 years 10 months ago
2000
IEEE
Most software that most people use most of the time needs only moderate assurance of fitness for its intended purpose. Unlike high-assurance software, where the severe consequence...
GPCE
2007
Springer
13 years 12 months ago
2007
Springer
Multiple dispatch – the selection of a function to be invoked based on the dynamic type of two or more arguments – is a solution to several classical problems in object-orient...
LICS
2010
IEEE
13 years 4 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
COR
2011
13 years 23 days ago
2011
This article comprises the first theoretical and computational study on mixed integer programming (MIP) models for the connected facility location problem (ConFL). ConFL combines...