Sciweavers

1547 search results - page 241 / 310
» The Isabelle Collections Framework
Sort
View
104
Voted
AAAI
2006
15 years 2 months ago
QUICR-Learning for Multi-Agent Coordination
Coordinating multiple agents that need to perform a sequence of actions to maximize a system level reward requires solving two distinct credit assignment problems. First, credit m...
Adrian K. Agogino, Kagan Tumer
118
Voted
APCCM
2006
15 years 2 months ago
On the suitability of UML 2.0 activity diagrams for business process modelling
UML is posited as the "swiss army knife" for systems modelling and design activities. It embodies a number of modelling formalisms that have broad applicability in captu...
Nick Russell, Wil M. P. van der Aalst, Arthur H. M...
109
Voted
ECIS
2004
15 years 2 months ago
Qualitative Analysis Software applied to IS Research - Developing a coding strategy
In the past two decades, the IS research community underwent an intensive debate and fought hard to legitimise interpretive and qualitative research paradigms. Now that the war is...
Brian O'Flaherty, Jason Whalley
FLAIRS
2004
15 years 2 months ago
An Active Architecture for Managing Events in Pervasive Computing Environments
Many dramatizations have depicted a fully automated home living environment, where actions and events are understood or even anticipated. While the realization of such environment...
Edwin Wong, Lisa J. Burnell, Charles Hannon
94
Voted
IADIS
2004
15 years 2 months ago
The outline of an 'intelligent' image retrieval engine
The first image retrieval systems hold the advantage of being fully automatic, and thus scalable to large collections of images but are restricted to the representation of low-lev...
Mohammed Belkhatir, Philippe Mulhem, Yves Chiarame...