Sciweavers

2492 search results - page 302 / 499
» An Integrated Rule Modeling Framework
Sort
View
ATAL
2007
Springer
15 years 10 months ago
A methodology for 3D electronic institutions
In this paper we propose a methodology for the construction of 3D electronic institutions. 3D electronic institutions are normative environments where software and human agents ca...
Anton Bogdanovych, Marc Esteva, Simeon J. Simoff, ...
DOA
2001
94views more  DOA 2001»
15 years 7 months ago
How to Monitor and Control Resource Usage in Mobile Agent Systems
The Mobile Agent technology has already shown its advantages, but at the same time has already remarked new problems currently limiting its diffusion in commercial environments. A...
Paolo Bellavista, Antonio Corradi, Cesare Stefanel...
MP
2006
103views more  MP 2006»
15 years 6 months ago
Assessing solution quality in stochastic programs
Determining if a solution is optimal or near optimal is fundamental in optimization theory, algorithms, and computation. For instance, Karush-Kuhn-Tucker conditions provide necessa...
Güzin Bayraksan, David P. Morton
ECAI
2008
Springer
15 years 8 months ago
Incremental Component-Based Construction and Verification of a Robotic System
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
Ananda Basu, Matthieu Gallien, Charles Lesire, Tha...
ICIP
2008
IEEE
16 years 8 months ago
Efficient representation and coding of prediction residuals and parameters in frame-based animated mesh compression
For compression of 3-D dynamic meshes, the novel framework of so-called frame-based animated mesh compression (FAMC) has been introduced recently. In this context, we propose an e...
Detlev Marpe, Heiner Kirchhoffer, Karsten Mül...