305 search results - page 9 / 61 » Using Answer Sets to Solve Belief Change Problems |
93
Voted
UAI
1990
15 years 24 days ago
1990
The intelligent reformulation or restructuring of a belief network can greatly increase the efficiency of inference. However, time expended for reformulation is not available for ...
CEEMAS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In update logic the interpretation of an action is often assumed to be independent from the agents’ beliefs about the situation (see [BMS04] or [Auc05]). In this paper ...
95
Voted
3DPVT
2006
IEEE
15 years 5 months ago
2006
IEEE
We present an algorithm for generating panoramic images of complex scenes from a multi-sensor camera. We further present a programmable graphics hardware implementation to process...
116
click to vote
ASWEC
2006
IEEE
15 years 5 months ago
2006
IEEE
Software maintenance and evolution are inevitable activities since almost all software that is useful and successful stimulates user-generated requests for change and improvements...
AMAI
2004
Springer
15 years 5 months ago
2004
Springer
Recent dynamic local search (DLS) algorithms such as SAPS are amongst the state-of-the-art methods for solving the propositional satisfiability problem (SAT). DLS algorithms modi...