Sciweavers

9325 search results - page 128 / 1865
» The decentralized implementability problem
Sort
View
AUSAI
2005
Springer
15 years 3 months ago
A Virtual Prolog Approach to Implementing Beliefs, Desires and Intentions in Animat Agents
Simulating a system of agents that navigate in a physical space is a challenging problem when the environment is sophisticated and the number of agents involved is large. We descr...
Kenneth A. Hawick, Heath A. James, C. J. Scogings
SEMWEB
2005
Springer
15 years 3 months ago
Using Triples for Implementation: The Triple20 Ontology-Manipulation Tool
Triple20 is a ontology manipulation and visualization tool for languages built on top of the Semantic-Web RDF triple model. In this article we explain how a triple-centered design ...
Jan Wielemaker, Guus Schreiber, Bob J. Wielinga
FPL
2004
Springer
74views Hardware» more  FPL 2004»
15 years 3 months ago
Hardware/Software Implementation of FPGA-Targeted Matrix-Oriented SAT Solvers
The paper describes two methods for the design of matrix-oriented SAT solvers based on data compression. The first one provides matrix compression in a host computer and decompress...
Valery Sklyarov, Iouliia Skliarova, Bruno Figueire...
TOOLS
1997
IEEE
15 years 2 months ago
Callback Implementations in C++
: This paper presents pattern histories for deriving two different callback libraries. The pattern histories document the important design decisions behind each library. The two re...
P. Jakubik
ICASSP
2010
IEEE
14 years 8 months ago
GHT based implementation of the expectation maximization for mixtures of multi-Gaussians and its applications to video tracking
In this work, the problem of the estimation of parameters in case of mixtures of models composed by the sum of multiple Gaussians is considered. It will be shown how this estimati...
Francesco Monti, Carlo S. Regazzoni