Sciweavers

669 search results - page 96 / 134
» Active learning for directed exploration of complex systems
Sort
View
95
Voted
BPM
2006
Springer
105views Business» more  BPM 2006»
15 years 4 months ago
Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis
When dealing with complex business processes (e.g., in the context of a workflow implementation or the configuration of some process-aware information system), it is important but ...
Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur ...
PDSE
1998
126views more  PDSE 1998»
15 years 1 months ago
Validation and Test Generation for Object-Oriented Distributed Software
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
Thierry Jéron, Jean-Marc Jézé...
IWANN
2005
Springer
15 years 6 months ago
Characterizing Self-developing Biological Neural Networks: A First Step Towards Their Application to Computing Systems
Carbon nanotubes are often seen as the only alternative technology to silicon transistors. While they are the most likely short-term alternative, other longer-term alternatives sho...
Hugues Berry, Olivier Temam
MM
2004
ACM
152views Multimedia» more  MM 2004»
15 years 6 months ago
Manifold-ranking based image retrieval
In this paper, we propose a novel transductive learning framework named manifold-ranking based image retrieval (MRBIR). Given a query image, MRBIR first makes use of a manifold ra...
Jingrui He, Mingjing Li, HongJiang Zhang, Hanghang...
100
Voted
ATAL
2010
Springer
15 years 1 months ago
Collective decision-making in multi-agent systems by implicit leadership
Coordination within decentralized agent groups frequently requires reaching global consensus, but typical hierarchical approaches to reaching such decisions can be complex, slow, ...
Chih-Han Yu, Justin Werfel, Radhika Nagpal