Sciweavers

5550 search results - page 243 / 1110
» Different Approaches to Proof Systems
Sort
View
SELMAS
2004
Springer
15 years 12 months ago
Aspectizing Multi-agent Systems: From Architecture to Implementation
Agent architectures have to cope with a number of internal properties (concerns), such as autonomy, learning, and mobility. As the agent complexity increases, these agent propertie...
Alessandro F. Garcia, Uirá Kulesza, Carlos ...
BPM
2006
Springer
107views Business» more  BPM 2006»
15 years 10 months ago
On Representing, Purging, and Utilizing Change Logs in Process Management Systems
In recent years adaptive process management technolgy has emerged in order to increase the flexibility of business process implementations and to support process changes at differe...
Stefanie Rinderle, Manfred Reichert, Martin Jurisc...
ICPR
2006
IEEE
16 years 7 months ago
Activity Recognition from Silhouettes using Linear Systems and Model (In)validation Techniques
In this work we propose a model (in)validation approach to gait recognition, using a system that tries to discriminate specific activities of people. The recognition process depar...
Roberto Lublinerman, Necmiye Ozay, Dimitrios Zarpa...
HICSS
2009
IEEE
122views Biometrics» more  HICSS 2009»
16 years 1 months ago
Applying a ThinkLet- and ThinXel-Based Group Process Modeling Language: A Prototype of a Universal Group Support System
Group Support Systems (GSS) can improve the productivity of Group Work by offering a variety of tools to assist a virtual group across geographical distances. Experience shows tha...
Stefan Werner Knoll, Martin Hörning, Graham H...
EXPERT
2006
107views more  EXPERT 2006»
15 years 6 months ago
Provenance in Agent-Mediated Healthcare Systems
Agent-oriented cooperation techniques and standardized electronic healthcare record exchange protocols can be used to combine information regarding different facets of a therapy re...
Tamás Kifor, László Zsolt Var...