Sciweavers

1373 search results - page 179 / 275
» What is Fuzzy Logic
Sort
View
163
Voted
DPHOTO
2009
353views Hardware» more  DPHOTO 2009»
14 years 10 months ago
Fuzzy-based motion estimation for video stabilization using SIFT interest points
In this paper we present a technique which infers interframe motion by tracking SIFT features through consecutive frames: feature points are detected and their stability is evalua...
Sebastiano Battiato, Giovanni Gallo, Giovanni Pugl...
ECAI
2000
Springer
15 years 5 months ago
Incorporation of Temporal Logic Control into Plan Operators
Domain-specific control information is often essential in solving difficult planning problems efficiently. Temporal logics are a declarative and expressive representation for su...
Jussi Rintanen
FAC
2008
114views more  FAC 2008»
15 years 25 days ago
Specification of communicating processes: temporal logic versus refusals-based refinement
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...
Gavin Lowe
JAIR
1998
97views more  JAIR 1998»
15 years 13 days ago
The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference
It is common to view programs as a combination of logic and control: the logic part de nes what the program must do, the control part how to do it. The Logic Programming paradigm ...
Oleg Ledeniov, Shaul Markovitch
118
Voted
ENTCS
2002
144views more  ENTCS 2002»
15 years 17 days ago
Logics and Multi-agents: towards a new symbolic model of cognition
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions ...
Paolo Torroni