Sciweavers

4872 search results - page 357 / 975
» CBR for Modeling Complex Systems
Sort
View
EDOC
2000
IEEE
15 years 11 months ago
Model Checking of Workflow Schemas
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
Christos T. Karamanolis, Dimitra Giannakopoulou, J...
FOSSACS
2006
Springer
15 years 10 months ago
A Finite Model Construction for Coalgebraic Modal Logic
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove tha...
Lutz Schröder
FLAIRS
2000
15 years 8 months ago
A Parallel Approach to Modeling Language Learning and Understanding in Young Children
To reduce the complexity of studying a parallel mechanism for natural language learning and understanding which supports both utterance and discourse processing, we propose a comp...
Charles Hannon, Diane J. Cook
AAAI
2011
14 years 6 months ago
Pushing the Power of Stochastic Greedy Ordering Schemes for Inference in Graphical Models
We study iterative randomized greedy algorithms for generating (elimination) orderings with small induced width and state space size - two parameters known to bound the complexity...
Kalev Kask, Andrew Gelfand, Lars Otten, Rina Decht...
ICIP
2006
IEEE
16 years 8 months ago
Dependency Channel Modeling for a LDPC-Based Wyner-Ziv Video Compression Scheme
Research in distributed video coding for low complexity encoding has shown that without knowledge of the correlation between source and side information (i.e. the behavior of the ...
Ronald P. Westerlaken, Stefan Borchert, Rene Klein...