4266 search results - page 527 / 854 » A Framework for Defining Logics |
250
click to vote
ILP
2007
Springer
16 years 29 days ago
2007
Springer
A recurrent question in the design of intelligent agents is how to assign degrees of beliefs, or subjective probabilities, to various events in a relational environment. In the sta...
185
click to vote
INFOCOM
2006
IEEE
16 years 26 days ago
2006
IEEE
— Internet connectivity at the AS level, defined in terms of pairwise logical peering relationships, is constantly evolving. This evolution is largely a response to economic, po...
186
click to vote
PATMOS
2005
Springer
16 years 9 days ago
2005
Springer
This paper presents a modular optimization framework for custom digital circuits in the power – performance space. The method uses a static timer and a nonlinear optimizer to max...
245
click to vote
AGP
2003
IEEE
16 years 4 days ago
2003
IEEE
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...
184
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...