Sciweavers

3319 search results - page 237 / 664
» Type Theoretical Databases
Sort
View
JKM
2007
89views more  JKM 2007»
14 years 11 months ago
Knowledge leadership cycles: an approach from Nonaka's viewpoint
Purpose – The aim of this paper is to analyse leadership cycles based on knowledge creation, with learning and culture as key elements for reaching leadership. Following Ikujiro...
Maria Sarabia
GI
2010
Springer
14 years 9 months ago
Reusable Interaction Protocols for Workflows
With the advent of collaborative business processes that may include different parties, the interaction means between those processes steadily gains more importance. Despite this i...
Alexander Pokahr, Lars Braubach
DIS
2009
Springer
14 years 8 months ago
Player Modeling for Intelligent Difficulty Adjustment
In this paper we aim at automatically adjusting the difficulty of computer games by clustering players into different types and supervised prediction of the type from short traces ...
Olana Missura, Thomas Gärtner
TIT
2010
103views Education» more  TIT 2010»
14 years 5 months ago
Analysis of absorbing sets and fully absorbing sets of array-based LDPC codes
The class of low-density parity-check (LDPC) codes is attractive, since such codes can be decoded using practical message-passing algorithms, and their performance is known to app...
Lara Dolecek, Zhengya Zhang, Venkat Anantharam, Ma...
86
Voted
ML
2006
ACM
103views Machine Learning» more  ML 2006»
15 years 5 months ago
Type-safe distributed programming for OCaml
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...
John Billings, Peter Sewell, Mark R. Shinwell, Rok...