305 search results - page 21 / 61 » From External to Internal Regret |
104
click to vote
AUSAI
2005
Springer
15 years 7 months ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
103
Voted
PATMOS
2004
Springer
15 years 7 months ago
2004
Springer
We present SoftExplorer, a tool to estimate and analyze the power and energy consumption of an algorithm from the C program. The consumption of every loop is analyzed, and the in...
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper examines the task of constructing boundedtime self-stabilizing rule-based systems that take their input from an external environment. Bounded response-time and self-sta...
115
Voted
CAISE
2006
Springer
15 years 5 months ago
2006
Springer
Various kinds of data are processed in workflow management systems: from case data to control data, from internal data to access to external databases or documents exchanged in int...
119
click to vote
WSC
2008
15 years 4 months ago
2008
Many inference methods of queueing systems have been developed on the basis of Larson's QIE(queue inference engine) with the assumption of homogeneous Poisson arrivals. It in...