Sciweavers

1608 search results - page 236 / 322
» Challenges in Business Process Analysis
Sort
View
COORDINATION
2008
Springer
14 years 11 months ago
From Flow Logic to Static Type Systems for Coordination Languages
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
Rocco De Nicola, Daniele Gorla, René Rydhof...
AAAI
2010
14 years 11 months ago
Representation Discovery in Sequential Decision Making
Automatically constructing novel representations of tasks from analysis of state spaces is a longstanding fundamental challenge in AI. I review recent progress on this problem for...
Sridhar Mahadevan
WICON
2008
14 years 11 months ago
Traffic-aware dynamic spectrum access
Demand-driven spectrum allocation can drastically improve performance for WiFi access points struggling under increasing user demands. While their frequency agility makes cognitive...
Lei Yang, Lili Cao, Heather Zheng, Elizabeth M. Be...
APVIS
2004
14 years 11 months ago
A Colour-Filling Approach For Visualising Trait Evolution With Phylogenies
The development of powerful visualisation tools is a major challenge in bioinformatics. Phylogenetics, a field with a growing impact on a variety of life science areas, is experie...
Savrina F. Carrizo
EMNLP
2004
14 years 11 months ago
Learning Hebrew Roots: Machine Learning with Linguistic Constraints
The morphology of Semitic languages is unique in the sense that the major word-formation mechanism is an inherently non-concatenative process of interdigitation, whereby two morph...
Ezra Daya, Dan Roth, Shuly Wintner