Sciweavers

1242 search results - page 114 / 249
» An Agent Model for Analysis of Human Performance Quality
Sort
View
AAAI
1990
13 years 9 months ago
Approximation Reformulations
Although computers are widely used to simulate complex physical systems, crafting the underlying models that enable computer analysis remains difficult. When a model is created fo...
Daniel S. Weld
AOIS
2003
13 years 9 months ago
Towards a More Expressive and Refinable Multiagent System Engineering Methodology
In this paper, we improve and extend the MaSE methodology to bridge the gaps in this methodology. First, we propose an improvement process and, based on this process, we report th...
Shiva Vafadar, Ahmad Abdollahzadeh Barfouroush, Mo...
HAPTICS
2005
IEEE
14 years 1 months ago
The Maxima Haptics Package -- A Tool for Symbolic Analysis of Haptics and Teleoperation
The Maxima Haptics Package is a free software package for symbolic analysis of linear models of haptic devices and teleoperators. From a mechanical model of the haptic device, the...
Göran A. V. Christiansson
SIGSAND
2008
13 years 9 months ago
Advanced Reduction Rules for the Verification of EPC Business Process Models
: Conceptual business process models such as Event-driven Process Chains (EPCs) play an important role in the business process management life cycle. The problem in this context is...
Jan Mendling, Wil M. P. van der Aalst
TIP
2002
129views more  TIP 2002»
13 years 7 months ago
A vision-based masking model for spread-spectrum image watermarking
Abstract-- We present a perceptual model for hiding a spreadspectrum watermark of variable amplitude and density in an image. The model takes into account the sensitivity and maski...
Martin Kutter, Stefan Winkler