Sciweavers

645 search results - page 52 / 129
» Pure patterns type systems
Sort
View
ICCCI
2010
Springer
14 years 10 months ago
Strategic Health Information Management and Forecast: The Birdwatching Approach
Abstract. To facilitate communication and the exchange of information between patients, nurses, lab technicians, health insurers, physicians, policy makers, and existing knowledge-...
Arash Shaban-Nejad, Volker Haarslev
POPL
2010
ACM
15 years 9 months ago
Monads in Action
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
Andrzej Filinski
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
15 years 8 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...
DALT
2007
Springer
15 years 1 months ago
Structured Argumentation in a Mediator for Online Dispute Resolution
Online dispute resolution is becoming the main method when dealing with a conflict in e-commerce. A family of defeasible reasoning patterns is used to provide a useful link betwee...
Ioan Alfred Letia, Adrian Groza
AH
2008
Springer
15 years 6 months ago
Social Information Access for the Rest of Us: An Exploration of Social YouTube
The motivation behind many Information Retrieval systems is to identify and present relevant information to people given their current goals and needs. Learning about user preferen...
Maurice Coyle, Jill Freyne, Peter Brusilovsky, Bar...