2018 search results - page 330 / 404 » On Conceptualization as a Systematic Process |
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. For autonomous systems such as unmanned aerial vehicles to successfully perform complex missions, a great deal of embedded reasoning is required at varying levels of abst...
ICPR
2010
IEEE
13 years 8 months ago
2010
IEEE
Probabilistic language models are critical to applications in natural language processing that include speech recognition, optical character recognition, and interfaces for text e...
AI
2010
Springer
13 years 8 months ago
2010
Springer
Many belief change formalisms employ plausibility orderings over the set of possible worlds to determine how the beliefs of an agent ought to be modified after the receipt of a ne...
CGF
2010
13 years 8 months ago
2010
We present a systematic study of opportunities for the interactive visual analysis of multi-dimensional scientific data that is based on the integration of statistical aggregation...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...