Sciweavers

1456 search results - page 1 / 292
» Two Techniques to Improve Finite Model Search
Sort
View
CADE
2000
Springer
14 years 3 months ago
Two Techniques to Improve Finite Model Search
Abstract. This article introduces two techniques to improve the propagation efficiency of CSP based finite model generation methods. One approach consists in statically rewriting ...
Gilles Audemard, Belaid Benhamou, Laurent Henocque
AIPS
2010
14 years 1 months ago
Action Elimination and Plan Neighborhood Graph Search: Two Algorithms for Plan Improvement
Compared to optimal planners, satisficing planners can solve much harder problems but may produce overly costly and long plans. Plan quality for satisficing planners has become in...
Hootan Nakhost, Martin Müller 0003
ISBI
2007
IEEE
14 years 5 months ago
An Effective and Efficient Technique for Searching for Similar Brain Activation Patterns
In this paper, we introduce a new approach for content-based similarity search for brain images. Based on the keyblock representation, our framework employs the Principal Componen...
Jingjing Zhang, Vasileios Megalooikonomou
ASE
2005
137views more  ASE 2005»
13 years 10 months ago
Rewriting-Based Techniques for Runtime Verification
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
Grigore Rosu, Klaus Havelund
AMDO
2004
Springer
14 years 4 months ago
Improvement of Modal Matching Image Objects in Dynamic Pedobarography Using Optimization Techniques
Abstract. The paper presents an approach for matching objects in dynamic pedobarography image sequences, based on finite element modeling and modal analysis. The determination of c...
Luísa Ferreira Bastos, João Manuel R...