Sciweavers

1262 search results - page 127 / 253
» Diagnosis Problem Solving Using Fuzzy Relations
Sort
View
SIBGRAPI
2005
IEEE
15 years 6 months ago
A Linear Algorithm for Exact Pattern Matching in Planar Subdivisions
Graph sub-isomorphism is a very common approach to solving pattern search problems, but this is a NP-complete problem. This way, it is necessary to invest in research of approxima...
Pedro Ribeiro de Andrade Neto, André Luiz P...
84
Voted
SEMWEB
2005
Springer
15 years 6 months ago
Decentralized Case-Based Reasoning for the Semantic Web
Abstract. Decentralized case-based reasoning (DzCBR) is a reasoning framework that addresses the problem of adaptive reasoning in a multi-ontology environment. It is a case-based r...
Mathieu d'Aquin, Jean Lieber, Amedeo Napoli
118
Voted
CADE
2010
Springer
15 years 1 months ago
Premise Selection in the Naproche System
Abstract. Automated theorem provers (ATPs) struggle to solve problems with large sets of possibly superfluous axiom. Several algorithms have been developed to reduce the number of ...
Marcos Cramer, Peter Koepke, Daniel Kühlwein,...
108
Voted
ICECCS
2010
IEEE
161views Hardware» more  ICECCS 2010»
15 years 28 days ago
Model Checking Round-Based Distributed Algorithms
—In the field of distributed computing, there are many round-based algorithms to solve fundamental problems, such as leader election and distributed consensus. Due to the nature...
Xin An, Jun Pang
94
Voted
CORR
2010
Springer
126views Education» more  CORR 2010»
15 years 25 days ago
Visibility maintenance via controlled invariance for leader-follower Dubins-like vehicles
The paper studies the visibility maintenance problem (VMP) for a leader-follower pair of robots modelled as first-order dynamic systems and proposes an original solution based on t...
Fabio Morbidi, Francesco Bullo, Domenico Prattichi...