Sciweavers

IWANN
1999
Springer
13 years 11 months ago
Pattern Recognition System with Top-Down Process of Mental Rotation
A new model which can recognize rotated, distorted, scaled, shifted and noised patterns is proposed. The model is constructed based on psychological experiments in a mental rotatio...
Shunji Satoh, Hirotomo Aso, Shogo Miyake, Jousuke ...
ICLP
1999
Springer
13 years 11 months ago
Concurrency in Prolog Using Threads and a Shared Database
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...
Manuel Carro, Manuel V. Hermenegildo
CA
1998
IEEE
13 years 11 months ago
Real-Time Facial Animation based upon a Bank of 3D Facial Expressions
The importance of faces in human interaction explains the desire for synthetic faces as a communication vehicle in computer graphics. Unfortunately, animating a face is a very com...
C. Kouadio, Pierre Poulin, P. Lachapelle
SCCC
1999
IEEE
13 years 11 months ago
MetaFT-A Reflective Approach to Implement Replication Techniques in CORBA
A model was introduced in [Fraga97] for integrating replication techniques in heterogeneous systems. The model adopts a reflective structure based on the meta-object approach [10]...
Lau Cheuk Lung, Joni da Silva Fraga, Carlos Mazier...
RSP
1999
IEEE
13 years 11 months ago
System Design Validation Using Formal Models
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
Peter Henderson, Robert John Walters
ESEC
1999
Springer
13 years 11 months ago
A Probabilistic Model for Software Projects
A probabilistic model for software development projects is constructed. The model can be applied to compute an estimate for the development time of a project. The chances of succee...
Frank Padberg
CONTEXT
1999
Springer
13 years 11 months ago
The Pragmatic Roots of Context
When modelling complex systems one can not include all the causal factors, but one has to settle for partial models. This is alright if the factors left out are either so constant...
Bruce Edmonds
COLLABORATION
1999
Springer
13 years 11 months ago
A Service-Oriented Negotiation Model between Autonomous Agents
Abstract. We present a formal model of negotiation between autonomous agents. The purpose of the negotiation is to reach an agreement about the provision of a service by one agent ...
Carles Sierra, Peyman Faratin, Nicholas R. Jenning...
ADC
1999
Springer
68views Database» more  ADC 1999»
13 years 11 months ago
A Query-sensitive Cost Model for Similarity Queries with M-tree
We introduce a cost model for the M-tree access method [Ciaccia et al., 1997] which provides estimates of CPU (distance computations) and I/O costs for the execution of similarity ...
Paolo Ciaccia, A. Nanni, Marco Patella
ICRA
1999
IEEE
117views Robotics» more  ICRA 1999»
13 years 11 months ago
A General Contact Model for Dynamically-Decoupled Force/Motion Control
: This paper presents a general rst-order kinematic model of frictionless rigid-body contact for use in hybrid force motion control. It is formulated in an invariant manner by trea...
Roy Featherstone, Stef Sonck Thiebaut, Oussama Kha...