Sciweavers

324 search results - page 45 / 65
» Context Knowledge Representation and Reasoning in the Contex...
Sort
View
ESWA
2006
99views more  ESWA 2006»
14 years 10 months ago
Assessing a knowledge-based approach to commercial loan underwriting
We discuss the challenges in developing decision support tools for commercial underwriting and describe how several different approaches to the underwriting problem have been addr...
Roger Kumra, Roger M. Stein, Ian Assersohn
IJCAI
1989
14 years 11 months ago
Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds
Mechanical systems, of the kinds which are of interest for qualitative reasoning, are characterized by a set of real-valued parameters, each of which is a piecewise continuous fun...
Erik Sandewall
ESOP
2008
Springer
15 years 8 days ago
Practical Programming with Higher-Order Encodings and Dependent Types
Abstract. Higher-order abstract syntax (HOAS) refers to the technique of representing variables of an object-language using variables of a meta-language. The standard first-order a...
Adam Poswolsky, Carsten Schürmann
CVPR
2007
IEEE
16 years 15 days ago
Hierarchical Learning of Curves Application to Guidewire Localization in Fluoroscopy
In this paper we present a method for learning a curve model for detection and segmentation by closely integrating a hierarchical curve representation using generative and discrim...
Adrian Barbu, Vassilis Athitsos, Bogdan Georgescu,...
FAABS
2000
Springer
15 years 2 months ago
Modeling and Programming Devices and Web Agents
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
Sheila A. McIlraith