Sciweavers

2478 search results - page 140 / 496
» Quadtrees as an Abstract Domain
Sort
View
FUIN
2007
130views more  FUIN 2007»
13 years 8 months ago
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...
Thomas Eiter, Esra Erdem, Wolfgang Faber, Já...
TCSV
2008
148views more  TCSV 2008»
13 years 8 months ago
Modeling Background and Segmenting Moving Objects from Compressed Video
Abstract--Modeling background and segmenting moving objects are significant techniques for video surveillance and other video processing applications. Most existing methods of mode...
Weiqiang Wang, Jie Yang, Wen Gao
TITB
2008
186views more  TITB 2008»
13 years 8 months ago
DOORS to the Semantic Web and Grid With a PORTAL for Biomedical Computing
Abstract--The semantic web remains in the early stages of development. It has not yet achieved the goals envisioned by its founders as a pervasive web of distributed knowledge and ...
Carl Taswell
RE
1997
Springer
14 years 11 days ago
Requirements Models in Context
The field of requirements engineering emerges out of tradition of research and engineering practice that stresses rtance of generalizations and abstractions. abstraction is essent...
Colin Potts
ATAL
2009
Springer
14 years 2 months ago
First principles planning in BDI systems
BDI (Belief, Desire, Intention) agent systems are very powerful, but they lack the ability to incorporate planning. There has been some previous work to incorporate planning withi...
Lavindra de Silva, Sebastian Sardiña, Lin P...