Sciweavers

2588 search results - page 181 / 518
» Applications of Kolmogorov complexity to computable model th...
Sort
View
129
Voted
PPOPP
2009
ACM
16 years 2 months ago
An efficient transactional memory algorithm for computing minimum spanning forest of sparse graphs
Due to power wall, memory wall, and ILP wall, we are facing the end of ever increasing single-threaded performance. For this reason, multicore and manycore processors are arising ...
Seunghwa Kang, David A. Bader
COLT
1994
Springer
15 years 6 months ago
Bayesian Inductive Logic Programming
Inductive Logic Programming (ILP) involves the construction of first-order definite clause theories from examples and background knowledge. Unlike both traditional Machine Learnin...
Stephen Muggleton
CANDC
2009
ACM
15 years 8 months ago
Understanding the creative conversation: modeling to engagement
This workshop is aimed at describing the elusive creative process: addressing models and of creative practice, from art to craft, from dance to education. In particular, we wish t...
David A. Shamma, Dan Perkel, Kurt Luther
ASM
2003
ASM
15 years 7 months ago
Privacy, Abstract Encryption and Protocols: An ASM Model - Part I
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...
Dean Rosenzweig, Davor Runje, Neva Slani
SAC
2008
ACM
15 years 1 months ago
Collaborative software engineering on large-scale models: requirements and experience in ModelBus
This work presents an approach for realizing Model-Driven software engineering in the distributed and multi-developers context. It particularly focuses on the scalability problems...
Prawee Sriplakich, Xavier Blanc, Marie-Pierre Gerv...