7961 search results - page 1057 / 1593 » Input-Output Model Programs |
184
click to vote
ECAI
2004
Springer
16 years 14 days ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
168
click to vote
ICALP
2004
Springer
16 years 14 days ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
180
click to vote
ICT
2004
Springer
16 years 14 days ago
2004
Springer
In the area of monitoring communication networks, GEDSystem is a tool for supporting the development of programs driven to the management of domains that may show up when networks ...
173
click to vote
MATES
2004
Springer
16 years 13 days ago
2004
Springer
The article presents a general model of the emergence of social order in multi-agent-systems (MAS). The agents consist of two types of neural networks that have the task to generat...
169
click to vote
PATMOS
2004
Springer
16 years 13 days 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ï¬...