Sciweavers

1828 search results - page 150 / 366
» First-Class Type Classes
Sort
View
PKDD
2009
Springer
102views Data Mining» more  PKDD 2009»
16 years 28 days ago
A Generalization of Forward-Backward Algorithm
Structured prediction has become very important in recent years. A simple but notable class of structured prediction is one for sequences, so-called sequential labeling. For sequen...
Ai Azuma, Yuji Matsumoto
TOOLS
2008
IEEE
16 years 23 days ago
Object Incompleteness and Dynamic Composition in Java-Like Languages
Object composition is often advocated as a more flexible alternative to standard class inheritance since it takes place at run-time, thus permitting to specialize the behavior of ...
Lorenzo Bettini, Viviana Bono, Betti Venneri
CSFW
2006
IEEE
16 years 13 days ago
Securing Interaction between Threads and the Scheduler
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...
Alejandro Russo, Andrei Sabelfeld
APLAS
2005
ACM
15 years 12 months ago
A Simple Semantics for Polymorphic Recursion
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
William L. Harrison
ARGMAS
2004
Springer
15 years 11 months ago
Layered Strategies and Protocols for Argumentation-Based Agent Interaction
Abstract. Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics ...
Antonis C. Kakas, Nicolas Maudet, Pavlos Moraitis