Sciweavers

2335 search results - page 198 / 467
» Type Checking Type Classes
Sort
View
NIPS
2007
13 years 11 months ago
Bayesian Co-Training
We propose a Bayesian undirected graphical model for co-training, or more generally for semi-supervised multi-view learning. This makes explicit the previously unstated assumption...
Shipeng Yu, Balaji Krishnapuram, Rómer Rosa...
JUCS
2008
149views more  JUCS 2008»
13 years 10 months ago
Binary Methods Programming: the Clos Perspective
: Implementing binary methods in traditional object-oriented languages is difficult: numerous problems arise regarding the relationship between types and classes in the context of ...
Didier Verna
AAMAS
2005
Springer
13 years 10 months ago
Modular Representation of Agent Interaction Rules through Argumentation
Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics of the indi...
Antonis C. Kakas, Nicolas Maudet, Pavlos Moraitis
MMS
2007
13 years 10 months ago
New approaches to encryption and steganography for digital videos
In this work we propose a novel type of digital video encryption that has several advantages over other currently available digital video encryption schemes. We also present an ex...
Daniel Socek, Hari Kalva, Spyros S. Magliveras, Og...
CLEIEJ
2010
13 years 7 months ago
Quality Improvement in Annotated Code
In order to customize their behavior at runtime, a wide sort of modern frameworks do use code annotations at the applications classes as metadata configuration. However, despite i...
Diego A. A. Correia, Eduardo M. Guerra, Fáb...