Sciweavers

1828 search results - page 153 / 366
» First-Class Type Classes
Sort
View
GIS
2000
ACM
15 years 10 months ago
Metric operations on fuzzy spatial objects in databases
Uncertainty management for geometric data is currently an important problem for (extensible) databases in general and for spatial databases, image databases, and GIS in particular...
Markus Schneider
NIPS
2007
15 years 7 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...
ATVA
2010
Springer
163views Hardware» more  ATVA 2010»
15 years 6 months ago
Automatic Generation of History-Based Access Control from Information Flow Specification
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
Yoshiaki Takata, Hiroyuki Seki
JUCS
2008
149views more  JUCS 2008»
15 years 6 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
15 years 6 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