2253 search results - page 194 / 451 » The ComFoRT Reasoning Framework |
106
click to vote
JUCS
2006
14 years 11 months ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
94
Voted
TGIS
2002
14 years 10 months ago
2002
Traditional GISystems are no longer appropriate for modern distributed, heterogeneous network environments due to their closed architecture, and their lack of interoperability, reu...
IJAR
2010
14 years 9 months ago
2010
Frameworks for cooperative multiagent decision making may be divided into those where each agent is assigned a single variable (SVFs) and those where each agent carries an interna...
122
click to vote
ICTAI
2010
IEEE
14 years 9 months ago
2010
IEEE
A conversational recommender system iteratively shows a small set of options for its user to choose between. In order to select these options, the system may analyze the queries tr...
92
Voted
ICIP
2009
IEEE
14 years 8 months ago
2009
IEEE
We address the problem of shape based classification. We interpret the shape of an object as a probability distribution governing the location of the points of the object. An imag...