2851 search results - page 322 / 571 » Operationalizing Conceptual Models Based on a Model of Depen... |
160
click to vote
JAPLL
2007
15 years 6 months ago
2007
In this paper we introduce Fresh Logic, a natural deduction style first-order logic extended with term-formers and quantifiers derived from the model of names and binding in abst...
193
click to vote
TROB
2008
15 years 6 months ago
2008
Abstract--This paper focuses on the way to achieve accurate visual servoing tasks when the shape of the object being observed as well as the desired image are unknown. More precise...
199
click to vote
IAJIT
2010
2010
Representing Uncertainty in Medical Knowledge: An Interval Based Approach for Binary Fuzzy Relations
15 years 5 months ago
: This paper addresses issues involved in representation of causal relationships between medical categories. An interval based approach for medical binary fuzzy relations is propos...
267
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Measuring graph similarity is a key issue in many applications. We propose a new constraint-based modeling language for defining graph similarity measures by means of constraints. ...
141
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
— For an application in public-resource computing environments, providing reliable scheduling based on resource reliability evaluation is becoming increasingly important. Most ex...